X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2FNEWS;fp=helm%2Fhelmpot%2FNEWS;h=0000000000000000000000000000000000000000;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git diff --git a/helm/helmpot/NEWS b/helm/helmpot/NEWS deleted file mode 100644 index e69de29bb..000000000