about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16T16·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-02-16T16·48+0000
commit86b7efbdbe3c2da0f788df3ee7839cf3b88f7120 (patch)
tree1b88530bd6115474d9d32636bdbba3c8cf21a2be /src
parent0dfdafdf6de4f741ff60637843f0e7900384cd9f (diff)
* Don't build ATerm library if we don't need to.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions