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)
commit7639ad7ea7bb78ef10b9cd59ec2805f1ea31e7f3
tree7905a0644a93aba60fc0fa1977f011e41144d73f
parent025a624c0a131e5e595665bdf6953da910c35c29
parent9636dfc8e05164376b4383c51645502734fd082d
Merge pull request #1845 from shackbarth/filter-ext

support user-requested filtering of extensions. resolves #1844.