mirror of
https://github.com/vivier/EMILE.git
synced 2025-04-13 06:37:00 +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>