X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcopyright;fp=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcopyright;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=7bbc006ee9cd485f9af535bf3802be6946bdcf90;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git diff --git a/helm/DEVEL/mlminidom/debian/copyright b/helm/DEVEL/mlminidom/debian/copyright deleted file mode 100644 index 7bbc006ee..000000000 --- a/helm/DEVEL/mlminidom/debian/copyright +++ /dev/null @@ -1,32 +0,0 @@ -This package was debianized by Stefano Zacchiroli on -Wed, 4 Apr 2001 22:50:43 +0200. - -It was packed from source obtained via cvs, with this CVSROOT: - :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/ - -Upstream Author(s): - Luca Padovani - Claudio Sacerdoti Coen - Stefano Zacchiroli - -Copyright: - Copyright (C) 2000, Luca Padovani . - - This file is part of mlminidom, the Ocaml binding for minidom. - - mlminidom is free software; you can redistribute it and/or - modify it under the terms of the GNU General Public License - as published by the Free Software Foundation; either version 2 - of the License, or (at your option) any later version. - - mlminidom is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with mlminidom; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - - For details, send a mail to the author. -