2 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Merlin Göttlinger	e5340bb5ef	ocaml-minisat: init at 0.2	2019-08-07 13:45:31 +00:00