Commit Graph

2 Commits

Author SHA1 Message Date
Arne Döring
1105d03644 require errormsg to be specified before file. 2018-12-11 21:23:21 +01:00
Timothee Cour
43f634db8d fixes #8519; implements T.distinctBase to reverse T = distinct A (#8531) 2018-08-10 09:20:14 +02:00