pcbend/GRSISort — pull request #2 by r3dunlop (2014-08-12 16:22:34+00:00)
Title: Warnings and Paths

-Removed some PROOF warnings about polymorphism
-Changed the Sandbox compilation command to be computer independent
-Removed the -e echo in the makefile
-Changed some of the include paths and run-time paths to be relative the the GRSISYS