about summary refs log tree commit diff
path: root/bootstrap.sh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-08-14T10·19+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-08-14T10·19+0000
commit714b7256cd5a6783813c3d3a7468f36ba637f567 (patch)
tree7383259dc8998d20ac10142beb96c73816c5b011 /bootstrap.sh
parent039936567539c1d6d7a3b824b94726b3fed3343b (diff)
* Cleanup; sync with thesis.
Diffstat (limited to 'bootstrap.sh')
0 files changed, 0 insertions, 0 deletions