X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2FPAPERS%2Fmatita.ps.gz;fp=helm%2Fwww%2Fmatita%2FPAPERS%2Fmatita.ps.gz;h=0000000000000000000000000000000000000000;hb=660cf71edac4c61b1466f412ee15842ead2b04ff;hp=20e4517e7a9227d695b731f1242831a1448897f2;hpb=789ed15636f9b2d1ca1f794eda2a1b70160fcfcc;p=helm.git

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