mirror of
https://github.com/vivier/EMILE.git
synced 2025-01-29 15:30:55 +00:00
bd8f87287c
Remove tools.sh, and let ./configure to generate tools.mk Signed-off-by: Laurent Vivier <laurent@vivier.eu>