Applied Michael Haardt's HP-UX patch.
authorPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 17 Jun 2005 09:02:40 +0000 (09:02 +0000)
committerPhilip Hazel <ph10@hermes.cam.ac.uk>
Fri, 17 Jun 2005 09:02:40 +0000 (09:02 +0000)
commit5bd022fe5bf43d79ed34753f637775defbad16a1
treeae907e133f146afc47a37c6ec82b4fef574bc9b9
parent2740a2ca3998dcd03eee6a8361f05f48df7f2c29
Applied Michael Haardt's HP-UX patch.
doc/doc-txt/ChangeLog
src/OS/Makefile-HP-UX
src/OS/os.h-HP-UX