diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-10T14·46+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-10T14·46+0000 |
commit | d3d5e77810cca11cca95bbb6f0f5e15d23f31eea (patch) | |
tree | 09693dd9f6711576a587a37a20194cd82f75a45d /substitute.mk | |
parent | 1eb4da156cca1b1981ab1f60bb9797ed1e93101a (diff) |
* Reverse mappings for the successor and substitute mappings.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions