mirror of
https://github.com/vivier/EMILE.git
synced 2026-04-19 02:20:13 +00:00
bd8f87287c
Remove tools.sh, and let ./configure to generate tools.mk Signed-off-by: Laurent Vivier <laurent@vivier.eu>