about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-12-31T17·53+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-12-31T17·53+0000
commit895c9538173a1c1d7e5f6c82e5b7a58b7d904683 (patch)
treed54cdeb4d3ad66cd4c7915630c0819371e53730e /src
parentd4117859d61ed9560d0d6ab468735a22bfa6d076 (diff)
* Bumped the version number to 0.12.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions