diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-08-15 19:59:10 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-08-15 19:59:10 +0000 |
| commit | 28245481a73246ff9fa4e1bcf719019c2a00b6d3 (patch) | |
| tree | 38309ce0fc68fc40987fb50fe882dc5d2d9a5b44 /src/GF/Shell | |
| parent | 6ee69593f06d57d1a8fd25a333fe0c934137ad45 (diff) | |
Improved generation algorithm (old with -old, all with -all (-lin))
Diffstat (limited to 'src/GF/Shell')
0 files changed, 0 insertions, 0 deletions