diff options
| author | bringert <unknown> | 2005-05-13 08:30:46 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-13 08:30:46 +0000 |
| commit | 0853d7bcfb64b683d7d8b4f6d912717f11bdd4a7 (patch) | |
| tree | 152be5848536d6df2a4025ab4fa0bca458712ff6 /src/GF/Conversion/SimpleToMCFG/Nondet.hs | |
| parent | f496c49263c0eecd9e7288d8aeea48fac489bb5d (diff) | |
Added defattr for editor rpm files.
Diffstat (limited to 'src/GF/Conversion/SimpleToMCFG/Nondet.hs')
0 files changed, 0 insertions, 0 deletions