diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T14·51+0000 |
commit | f3b8833a48472c3545ea8673d687ea9cadcedd61 (patch) | |
tree | 3143fb3d27d506864c72770492dcf01d85e21c80 /tests/simple.builder.sh | |
parent | efc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff) |
* Drop the dependency on the ATerm library.
Diffstat (limited to 'tests/simple.builder.sh')
0 files changed, 0 insertions, 0 deletions