about summary refs log tree commit diff
path: root/INSTALL
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-06-21T12·20+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-06-21T12·20+0000
commit88fb4f6e537ebea37fe0aaa4a2b044cf70d32178 (patch)
tree81d7fc1c9ecf527b701db52d36e3b10296055268 /INSTALL
parent2db9748221ce285ac434c849eeed249950dd0d39 (diff)
* Missing files added to `make dist'.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions