Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
minor #4453 Fixed make file (WouterJ)
This PR was merged into the 2.3 branch. Discussion ---------- Fixed make file For some reason, the `make.bat` file contained the same contents as `MakeFile`, while it should contain the bash code port of the MakeFile. This PR fixes that Commits ------- f38bbef Fixed make file
- Loading branch information