diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-10-16T14·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-10-16T14·16+0000 |
| commit | 9d6d50269bef214473580a879f6194e02692fe16 (patch) | |
| tree | 463c6382f058e03c65725dba1e4dc2db6a83d4ff /src/libmain | |
| parent | fa61ee70ee80b2b223fae86ee197987aa70499b2 (diff) | |
* Bug fix for building on some old installations (contributed by Pjotr).
Diffstat (limited to 'src/libmain')
0 files changed, 0 insertions, 0 deletions