diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-16T16·37+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-02-16T16·37+0000 |
| commit | 0dfdafdf6de4f741ff60637843f0e7900384cd9f (patch) | |
| tree | d0dfc7555e007bb9d4066cd45b4eb36405c20731 /scripts | |
| parent | f34de121401bb43c6cfab892b2b254e42652ba90 (diff) | |
* Allow linking against an external Berkeley DB / ATerm library.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions