Manual(s) fixed and committed to avoid rebuilding them in dune

[helm.git] / matita / matita / help / C / matita.pdf

diff --git a/matita/matita/help/C/matita.pdf b/matita/matita/help/C/matita.pdf
new file mode 100644 (file)
index 0000000..67cbf2b
Binary files /dev/null and b/matita/matita/help/C/matita.pdf differ