aboutsummaryrefslogtreecommitdiff
path: root/NEWS
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-09-01 20:48:18 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-09-01 20:48:18 +0000
commitcb44aa03b85c3622b3ffe5879e73f46ce78ffba0 (patch)
tree529ce04a3dfaf332291e71f85aa406f48d283417 /NEWS
parent2bcd65ecf6a8505ade08aa39efe41a0361eaf84a (diff)
* Use aterm 2.4.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions