projects / fg:toms-fgdata.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3206b1) | patch
This is an enhanced version of the options patch.
authorcurt <curt>
Mon, 10 Jun 2002 21:31:12 +0000 (21:31 +0000)
committercurt <curt>
Mon, 10 Jun 2002 21:31:12 +0000 (21:31 +0000)
commitd2d49c7d3e3c93f4342f05cfe01ba6d8f69b7693
tree5596009103005a35d37ac1f045963889e4da8785tree | snapshot
parentc3206b1a47d8fb5596be6b0b877e039784bdde8ccommit | diff
This is an enhanced version of the options patch.
It's more robust now, and gives some helpfull information if something
goes wrong. Also the naming in the options.xml file has changed to the
syntax David suggested.

Since no one objected to the patch I think it is safe to included it.
Thanks diff | blob | history
373e064d589408d823b44e28ffb101ee1d