-
Guillaume Melquiond authored
That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default.
2d250689
That way, unrecognized versions of Alt-Ergo (e.g. 2.0) are no longer associated to obsolete versions, by default.