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