X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcopyright;fp=helm%2FDEVEL%2Fmlminidom%2Fdebian%2Fcopyright;h=0000000000000000000000000000000000000000;hp=7bbc006ee9cd485f9af535bf3802be6946bdcf90;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 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. -