The README file was patched

[helm.git] / helm / coq-contribs / SUBSETS.tgz

diff --git a/helm/coq-contribs/SUBSETS.tgz b/helm/coq-contribs/SUBSETS.tgz
index 43b20d86efeab599a35f21550fb323bb0e3bb9d3..ad647f41706dd61116ab560acff54d566de9ea13 100644 (file)
Binary files a/helm/coq-contribs/SUBSETS.tgz and b/helm/coq-contribs/SUBSETS.tgz differ