chrisz e49631940c Correct the instructions to set OPAMROOT. Problem reported by Laurence Tratt.		2019-09-22 18:29:54 +00:00
..
2.4x	Correct the instructions to set OPAMROOT. Problem reported by Laurence Tratt.	2019-09-22 18:29:54 +00:00
2.5x	Correct the instructions to set OPAMROOT. Problem reported by Laurence Tratt.	2019-09-22 18:29:54 +00:00
Makefile
Makefile.inc	replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes	2019-07-12 20:48:23 +00:00