diff options
Diffstat (limited to 'toolchain/mpfr')
| -rw-r--r-- | toolchain/mpfr/Makefile | 2 | ||||
| -rw-r--r-- | toolchain/mpfr/Makefile.inc | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 8009c3acf..38ceed749 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -1,5 +1,3 @@ -# $Id$ -#- # This file is part of the OpenADK project. OpenADK is copyrighted # material, please see the LICENCE file in the top-level directory. diff --git a/toolchain/mpfr/Makefile.inc b/toolchain/mpfr/Makefile.inc index 265647544..665796739 100644 --- a/toolchain/mpfr/Makefile.inc +++ b/toolchain/mpfr/Makefile.inc @@ -1,5 +1,3 @@ -# $Id$ -#- # This file is part of the OpenADK project. OpenADK is copyrighted # material, please see the LICENCE file in the top-level directory. |