diff options
| author | bjorn <bjorn@bringert.net> | 2008-10-16 08:27:43 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-10-16 08:27:43 +0000 |
| commit | d1633b98d01233ad6ddf16105955ea9ea79be336 (patch) | |
| tree | 6bd6d268f3bb884a075d0e250c3443ec810d6c4b /src/GF/Command | |
| parent | 5422eb54d972ebccaa97e58a5fb3d60ca59a9604 (diff) | |
Honor --erasing flag from command-line also when compiling existing .gfo to PGF.
Diffstat (limited to 'src/GF/Command')
0 files changed, 0 insertions, 0 deletions