diff options
| author | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-12 23:51:08 +0000 |
|---|---|---|
| committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-12 23:51:08 +0000 |
| commit | df451333de03fdb62e31abcf50d8655a2584ad1d (patch) | |
| tree | 3bf4b692ef3bcc6090b139189b90063c945ce76c /extensions/Makefile | |
| parent | 49b68cb2f9478f9c99b86a6934859ce3d0b82193 (diff) | |
mjlib now in libdir format
svn path=/trunk/; revision=7324
Diffstat (limited to 'extensions/Makefile')
0 files changed, 0 insertions, 0 deletions