commit | a1809bd2add4f4573f669f3bbb9746fbb87f1964 | [log] [download] |
---|---|---|
author | Matt Godbolt <matt@godbolt.org> | Thu May 24 07:41:17 2012 -0500 |
committer | Matt Godbolt <matt@godbolt.org> | Thu May 24 07:41:17 2012 -0500 |
tree | 180bd9886d71e1941a5225d6744a5d65523606fe | |
parent | cf3fd6fa348befbf4717f5410537a638248fbf75 [diff] |
Slightly improve the options filter