diff options
| author | bringert <unknown> | 2004-07-22 11:12:27 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-07-22 11:12:27 +0000 |
| commit | 541ef75fb4171707973b15cf612cc5edf20fedcf (patch) | |
| tree | d15eb613c3a96607c12742c4f843aaf5832b52c5 /src/GF/Shell | |
| parent | 2b1f64eb06e7a8605df25ea7ef928b3543b32b8e (diff) | |
Do not escape single quotes in strings in PrintGF. This seems to be unmarked hand-hacked behaviour that the old pretty printer had.
Diffstat (limited to 'src/GF/Shell')
0 files changed, 0 insertions, 0 deletions