]> git.cworth.org Git - glenv/commitdiff
projects / glenv / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 25190a5)
Make the three --extensions* options mutually exclusive.
authorCarl Worth <cworth@cworth.org>
Thu, 5 Sep 2013 00:05:42 +0000 (17:05 -0700)
committerCarl Worth <cworth@cworth.org>
Thu, 5 Sep 2013 00:05:42 +0000 (17:05 -0700)
It's not obvious that the user has thought out what is actually desired
if more than one of these options is specified. So we simply forbid that.


No differences found
Unnamed repository; edit this file 'description' to name the repository.