diff options
| author | bjorn <bjorn@bringert.net> | 2008-05-30 15:20:09 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-05-30 15:20:09 +0000 |
| commit | 54ebdab1f730ef7b0d5de9faefbfaac6b7f3bd4b (patch) | |
| tree | e7d76cc84dd084a8151c5539178530ebfbd986c4 /src-3.0/GF/Command | |
| parent | 7f90087ab9c77ac2e2a57d53b8a985feb45d43f2 (diff) | |
Change setOptimization to produce Options, not a function over Options.
Diffstat (limited to 'src-3.0/GF/Command')
0 files changed, 0 insertions, 0 deletions