diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-18 12:34:56 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-18 12:34:56 +0000 |
| commit | dc1db399f698ec80ca80cf2e0925239527087a01 (patch) | |
| tree | 40a662b47aac25bcb054b1955cc86e9202e133de /src/server | |
| parent | 255b5488f453efdfefd4edaed2ce2eeb1a8d545c (diff) | |
When producing PGF, do UTF-8 encoding of the whole file after pretty printing instead of walking through the PGF structure before pretty-printing.
The old code was brittle, and only converted strings in the lins and opers, not in printnames and parsers. The old code also double encoded some grammars when using gfc to combine PGF files.
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions