diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:44:16 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-05 15:44:16 +0000 |
| commit | e20969ab5d9b812729759b629acafe73d760b97e (patch) | |
| tree | de25374bcb3fcb43a27737a7dfc512c368a83bb1 /src/GF/Command | |
| parent | 21aa3cfa17baf0cd6c0dd49aaa45cab8e2a4ad2c (diff) | |
prevent pgf from being empty when there are no concrete syntaxes
Diffstat (limited to 'src/GF/Command')
0 files changed, 0 insertions, 0 deletions