aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-02-10 15:28:47 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-02-10 15:28:47 +0000
commit9e51abc7dc13ece2a561cdd41c0304cffbba67d4 (patch)
tree3eb35e6a76324ac32760345e69ba83e78d602857 /README
parentf848a457391488544abc6b405d33ab5334eb19d0 (diff)
* Make --parse-only work when *not* reading from stdin.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions