diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-10T16·14+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-10T16·14+0000 |
| commit | 2b3b6c9b3428856b215545efd3abb9b8f42cf8b4 (patch) | |
| tree | bc0f69b7c07ca451d06dc868326215ab8dffc18a /substitute.mk | |
| parent | 4ada6db1fc9cee9c0e51fb54af8770dd28243dff (diff) | |
* In theory, this should reduce the number of ATermMap
re-allocations.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions