Another change to make it work on linux - now linux and windows commands are mixed up unfortunately...
1 parent daae9ae commit c68dd6c891020d40316c52c3e740af7d216dfe5e
@Uli Heller Uli Heller authored on 27 Jun 2015
Showing 1 changed file
View
doc/how_to_run.md