2 commits

Author	SHA1	Message	Date
volth	35d68ef143	treewide: remove redundant quotes	2019-08-26 21:40:19 +00:00
Cyril Cohen	52f3c28df2	elpi: 1.4.1 -> 1.6.0, and coq-elpi	2019-08-09 08:47:52 +00:00