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 /doc/manual/opt-common.xml | |
| parent | efc7a579e880ec15ebe9afc0d8766c85c7d53ec2 (diff) | |
* Drop the dependency on the ATerm library.
Diffstat (limited to 'doc/manual/opt-common.xml')
0 files changed, 0 insertions, 0 deletions