diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-01-21 15:10:49 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-01-21 15:10:49 +0000 |
| commit | 59a80fea3e8e4e9b6d6ed09885521c6c6a6c93f7 (patch) | |
| tree | 4b55f14a5009237c1ec9a821e9a3d2d4b4c87866 /src/GF/Shell | |
| parent | 70e3891cd5f9ac38caf36c5f10b314952ef856fd (diff) | |
Removed the srg value for pg -printer. Users should use pg -printer=srgs_abnf instead.
Diffstat (limited to 'src/GF/Shell')
0 files changed, 0 insertions, 0 deletions