diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-25T14·15+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-25T14·15+0000 |
| commit | c4f1c2114b520f5c9d589780dd7662efbfd9cf63 (patch) | |
| tree | 42f3a8579d95ec909698987da353f7efbf725b3d /src/libmain | |
| parent | 49829da8b450a1e869168428171334e6d9d0eb45 (diff) | |
* Minor simplification.
Diffstat (limited to 'src/libmain')
0 files changed, 0 insertions, 0 deletions