X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/6182faae17cdcf814e018ca2a7d9166b042cd4f1..7f00441914f5b9bd4f845a1c866da65e1946083e:/popl/Makefile diff --git a/popl/Makefile b/popl/Makefile index 326f20b..e77bc96 100644 --- a/popl/Makefile +++ b/popl/Makefile @@ -1,23 +1,3 @@ -# Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen -# Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix -# This file is part of Coccinelle. -# -# Coccinelle 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, according to version 2 of the License. -# -# Coccinelle 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 Coccinelle. If not, see . -# -# The authors reserve the right to distribute this or future versions of -# Coccinelle under other licenses. - - #note: if you add a file (a .mli or .ml), dont forget to do a make depend -include ../Makefile.config