Commit graph

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.def (Browse further)