Skip to content
Snippets Groups Projects
Martin Beseda's avatar
Martin Beseda authored
[FIX] [Windows] Makefile generator in Windows build Batch scripts is now taken from the variable MAKEFILE_GENERATOR.
5c10b00c
History
Name Last commit Last update
..
linux
windows
compile_anselm.sh