1 commit

Author	SHA1	Message	Date
David Given	893471a42e	No longer truncate module names at 10 characters when constructing paths; ... rename some library modules to their full names.	2017-01-07 23:00:52 +01:00

Renamed from lang/m2/libm2/Conversion.mod (Browse further)