diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-10T15·28+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-10T15·28+0000 |
| commit | 9e51abc7dc13ece2a561cdd41c0304cffbba67d4 (patch) | |
| tree | 3eb35e6a76324ac32760345e69ba83e78d602857 /misc | |
| parent | f848a457391488544abc6b405d33ab5334eb19d0 (diff) | |
* Make --parse-only work when *not* reading from stdin.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions