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>2007-08-13T11·15+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-08-13T11·15+0000
commit59afc1a15cfb90c333aa7423e46be32cc0635b12 (patch)
tree80ac0e746945e604ee7ccff4fa5623bb137adf28 /doc/manual/conf-file.xml
parent9e975458b48d9eb041a6484c634be2ee8ee1649d (diff)
* Backwards compatibility.
Diffstat (limited to 'doc/manual/conf-file.xml')
0 files changed, 0 insertions, 0 deletions