Revision b8ae1bbc
Improvements as suggested by e. Noulard: better install of include; modified generated makefile
Files
- added
- modified
- copied
- renamed
- deleted
| ID | b8ae1bbcad9ba22cc3ba963e4246b422c525babe |
| Parent | 7bc15356 |
| Child | b580c8f8, b63536a0 |
Added by Pierre-Loïc Garoche about 7 years ago
Improvements as suggested by e. Noulard: better install of include; modified generated makefile