diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:21:08 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:21:08 +0000 |
| commit | 21aa3cfa17baf0cd6c0dd49aaa45cab8e2a4ad2c (patch) | |
| tree | 4c9e1ed7d44a07389eead4797742fdefe1879bd5 /src/GF/Command | |
| parent | 24207d40e9cb56173de22d9a424975f0da0bc416 (diff) | |
forced checking def definitions; accept pgf with no concretes
Diffstat (limited to 'src/GF/Command')
0 files changed, 0 insertions, 0 deletions