about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-12-17T09·28+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-12-17T09·28+0000
commiteac93d6efeba68d9da95f01e10cd859eef6d85dd (patch)
treec981d1ec7cc5e2155c3a2fb54b70d3e801577d2a /src
parenta0be433fec792216ac5d9af68ec1fea6c21c7c1d (diff)
* Use the right `make'.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions