| commit | b45d5da71b9d87aac640646b02580c5313a5f8c2 | [log] [tgz] |
|---|---|---|
| author | Markus Keller <mkeller> | Fri Mar 24 17:40:59 2006 +0000 |
| committer | Markus Keller <mkeller> | Fri Mar 24 17:40:59 2006 +0000 |
| tree | 020eb55e172bf1b1c90cc377cc85c4903a740adc | |
| parent | 534b0c3a47a5b3bcac9613fa6394d3eaa634fbdc [diff] |
simplified *Options(.txt) management: - only one file for all platforms - split long ":"- or ";"-separated options to multiple lines - buildDoc.xml