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 /design/database.tex | |
parent | 42512d40ef93f0f85d107a7dc6d58973f93a1d95 (diff) |
Added configure option to remove pentominos support.
Diffstat (limited to 'design/database.tex')
0 files changed, 0 insertions, 0 deletions