diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T12·10+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-19T12·10+0000 |
| commit | 55b5ddd3ca1ff4dfe4cfbfab92a4025d88ef6443 (patch) | |
| tree | d9377895a711709f73ceabb10b511b91b0d3b4e5 /externals/max-long.patch | |
| parent | b7ff69eb7c3f97c33ec18c51ab87b7f3dd967052 (diff) | |
* Added parsing of manifests in ATerm format.
Diffstat (limited to 'externals/max-long.patch')
0 files changed, 0 insertions, 0 deletions