diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-07T19·48+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-07T19·48+0000 |
| commit | a0607be7f4ca2d54332cd9e557b21f6ed7a763d5 (patch) | |
| tree | 2de37f0dcf9d336fd96af950c64564afa292b156 /src/aterm-helper.pl | |
| parent | 5a6b45e2523c29c215f77135c6866baa83f1a7d5 (diff) | |
* Workaround for a bug (?) in GCC 2.95.
Diffstat (limited to 'src/aterm-helper.pl')
0 files changed, 0 insertions, 0 deletions