diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2009-06-02 22:10:20 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2009-06-02 22:10:20 +0200 |
commit | 322327d668e6cef8bb5f318bc414593794530b7b (patch) | |
tree | 341f17c7c36d2e6f641f05043df307adef16c87d /toolchain/gmp/Makefile.inc | |
parent | 7c520cd3ad42f5d94a9888bb9b3db7c79b6fd94f (diff) | |
parent | e00bf1d2b054c3f2280c63c23bc682c67a25d1b2 (diff) |
Merge branch 'master' of git+ssh://openadk.org/git/openadk
Diffstat (limited to 'toolchain/gmp/Makefile.inc')
-rw-r--r-- | toolchain/gmp/Makefile.inc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toolchain/gmp/Makefile.inc b/toolchain/gmp/Makefile.inc index f06ebdafd..ea02b2d0e 100644 --- a/toolchain/gmp/Makefile.inc +++ b/toolchain/gmp/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. |