Vaclav Petras de0fbc0051 Rename tools directory to utils (#1348) 4 lat temu
..
clean.sh de0fbc0051 Rename tools directory to utils (#1348) 4 lat temu
compile.sh de0fbc0051 Rename tools directory to utils (#1348) 4 lat temu