mirror of
https://github.com/vivier/EMILE.git
synced 2025-01-18 06:31:23 +00:00
81e6004b28
- remove it from CVS - "make clean" removes it