about summary refs log tree commit diff
path: root/doc/manual/conf-file.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-03-28T16·12+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-03-28T16·12+0000
commit7fb548aa2621375559f980b4627955dbc6fe9914 (patch)
tree202283669f13ecac8d5fa8fc8661f7f933241f93 /doc/manual/conf-file.xml
parentf54e800366b3c8540c60f0a35c407ad701e2f622 (diff)
* Clean up the output a bit.
Diffstat (limited to 'doc/manual/conf-file.xml')
0 files changed, 0 insertions, 0 deletions