Merge pull request #719 from wolfmanjm/upstreamedge
authorJim Morris <morris@wolfman.com>
Sun, 6 Sep 2015 22:50:30 +0000 (15:50 -0700)
committerJim Morris <morris@wolfman.com>
Sun, 6 Sep 2015 22:50:30 +0000 (15:50 -0700)
commit476fa88f7e816b3cf8e5547e6a410caae35daa8f
tree64e9d708e19656b44b808992c35e2ada10175492
parent2e8b3271c83a7ed034bf484d22e915a1c9163682
parent51e6a11ddb9e0f6af163b3ed1eea496f5e9ad0a8
Merge pull request #719 from wolfmanjm/upstreamedge

add force_all to get_options() so all options can be queried