diff options
Diffstat (limited to 'toolchain/gmp/Makefile')
| -rw-r--r-- | toolchain/gmp/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index 937f1b411..cff400736 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/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. |