diff options
| author | hallgren <hallgren@chalmers.se> | 2015-09-03 20:42:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-09-03 20:42:38 +0000 |
| commit | 32f18b515e55f2e4bad42ffe8451e23437410bbc (patch) | |
| tree | 7f01d23655f80f3ada9631bb5634a790b012b270 /src/pgf-binary/pgf-binary.cabal | |
| parent | 829e1bbfd3671dc9f2f590f5ed05303a0f899c97 (diff) | |
GF shell: write_file now writes one tree per line
This compensates for other changes that removed line breaks.
Maybe it should have a -lines options like ps and rf?
Diffstat (limited to 'src/pgf-binary/pgf-binary.cabal')
0 files changed, 0 insertions, 0 deletions