Corrected typo in updated OS/Makefile-GNU configuration file.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 12 Jan 2005 12:25:56 +0000 (12:25 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Wed, 12 Jan 2005 12:25:56 +0000 (12:25 +0000)
commitdefae7954e83a2e1b429027a31f8dd5df1484847
tree170c7d3b7f5e17a490a704381bdb6c44718b4878
parenta6c4ab608c0bc25e8981caea289eaa71820334c6
Corrected typo in updated OS/Makefile-GNU configuration file.
src/OS/Makefile-GNU