2 commits

Author	SHA1	Message	Date
David Given	04f723b406	Eliminate make.allocd --- something about it makes Windows unhappy and it ... doesn't add value anyway.	2022-07-16 19:34:25 +02:00
David Given	a1043bc5fe	Attempt to correct file system case sensitivity.	2017-08-06 11:15:53 +02:00

Renamed from lang/m2/comp/real.H (Browse further)