...

[helm.git] / helm / www / matita / PAPERS / matita.ps.gz

diff --git a/helm/www/matita/PAPERS/matita.ps.gz b/helm/www/matita/PAPERS/matita.ps.gz
deleted file mode 100644 (file)
index 20e4517..0000000
Binary files a/helm/www/matita/PAPERS/matita.ps.gz and /dev/null differ