]>
git.tue.mpg.de Git - dss.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Andre Noll [Sun, 16 Mar 2008 16:00:40 +0000 (17:00 +0100)]
dss.ggo: Reorder options and help text.
Andre Noll [Sun, 16 Mar 2008 15:38:40 +0000 (16:38 +0100)]
Switch to gengetopt's group options and add more documentation.
Andre Noll [Sun, 16 Mar 2008 13:54:03 +0000 (14:54 +0100)]
dss.ggo: Change "text" to "details".
This instructs gengetopt to generate also the --detailed-help
option, which is nice.
Andre Noll [Tue, 11 Mar 2008 20:00:54 +0000 (21:00 +0100)]
Initial git checkin.
Dyadic intervals are so harmonic. Do you feel it?
projects / dss.git / log