diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-09T12·43+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2011-02-09T12·43+0000 |
commit | eb94581d399b8d0945b883b14c4a892fdab95dfc (patch) | |
tree | 93113049a854cea98c747c94384439d174d1f0a2 /make/lib | |
parent | 7bba67c4013c1eb17c3f2f0a7015dbb57aae8ac8 (diff) |
* Remove obsolete directory.
Diffstat (limited to 'make/lib')
0 files changed, 0 insertions, 0 deletions