diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-11T15·41+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-11T15·41+0000 |
| commit | f86fca9b708ea98be0d508db90ec25d537fba246 (patch) | |
| tree | a43f0de10dce83b2210bc5591ffd5fe46afc3f1e /.gitignore | |
| parent | 9fe24c5a0d1e694c6338d584a101034cfbff10bf (diff) | |
* Figure out the extension of dynamic libraries; don't hard-code .so.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions