diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-29 14:38:04 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-29 14:38:04 +0000 |
| commit | 0f0dbe8c0c958f14461ad998c0847a06f95eca1d (patch) | |
| tree | 9c2d6aa062889015404880a36f86788ef5838a5a /tests/substitutes.sh | |
| parent | 311c222f472e93c9eb9987526b6caf80774c3d49 (diff) | |
* Extend the ATerm suppressions to 64-bit.
Diffstat (limited to 'tests/substitutes.sh')
0 files changed, 0 insertions, 0 deletions