about summary refs log tree commit diff
path: root/INSTALL
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-12-30T13·08+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-12-30T13·08+0000
commit254b3399ba3d7cf161fa54f9cf6cdc65c17164fb (patch)
tree4c0f9133e5b2f489ca18632686773dff6fb6a87b /INSTALL
parent56790411323eada03bacf37fe6fd328a7c84d32a (diff)
parent8c42a8c8ff2986940a41d46b0bdaa1c2ff0f15ad (diff)
* Sync with the trunk.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions