minor typo fix
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
all that was needed to get test00 to compile
Updating: minor improving contrib/gurobi
finished merge
Updating: miscellaneous
Updating: renaming some cstream_tokener functions
Updating: improving contrib/SDL2
Updting: improving contrib/SDL2
Updating: improving prelude/integer_fixed
Updting: improving prelude/integer_fixed
Updating: improving contrib/SDL2
Merge remote-tracking branch 'upstream/master'
Updating: improving contrib/SDL2
Updating: improving contrib/SDL2
Updating: improving Algorianim
Updating: improving INT2PROGINATS
Updating: static/extern function names are now stamp-followed.