diff options
| author | bjorn <bjorn@bringert.net> | 2008-06-22 20:28:39 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-06-22 20:28:39 +0000 |
| commit | 377d5664c7c35821a130b28942473759b646ff2b (patch) | |
| tree | c266cf72205912cc896366821a10655807ff8fb4 /src-3.0/GF/JavaScript/PrintJS.hs | |
| parent | 0f205f67d409e07aa1f9b95824e7a2d429130edb (diff) | |
Rename SRG categories after preprocessing, since pp may introduce illegal category names.
Diffstat (limited to 'src-3.0/GF/JavaScript/PrintJS.hs')
0 files changed, 0 insertions, 0 deletions