diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·22+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·22+0000 |
| commit | 7148df797174ff742fdd8cee3c2d92e6340ee930 (patch) | |
| tree | 4763cb338f8267c2e0be3200bd6a7c4df4af22d3 /make | |
| parent | 6f0f16497a8ce671c2aa9ff3cd9a27eb1f931cf2 (diff) | |
* Update the expected test output (no longer an ATerm).
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions