Merge pull request #1845 from shackbarth/filter-ext
authorTravis Webb <me@traviswebb.com>
Wed, 17 Sep 2014 15:35:57 +0000 (11:35 -0400)
committerTravis Webb <me@traviswebb.com>
Wed, 17 Sep 2014 15:35:57 +0000 (11:35 -0400)
support user-requested filtering of extensions. resolves #1844.


Trivial merge