diff options
| author | deva <deva> | 2008-07-29 12:52:50 +0000 |
|---|---|---|
| committer | deva <deva> | 2008-07-29 12:52:50 +0000 |
| commit | e388de9cf524977c36b523e31ad9d75816207ff5 (patch) | |
| tree | 4845b6396c9ca071a11345ca5ce87077542d48d3 /server/doc | |
| parent | 42512d40ef93f0f85d107a7dc6d58973f93a1d95 (diff) | |
Added configure option to remove pentominos support.
Diffstat (limited to 'server/doc')
0 files changed, 0 insertions, 0 deletions