diff options
Diffstat (limited to 'otherlibs/num/Makefile.nt')
| -rw-r--r-- | otherlibs/num/Makefile.nt | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/otherlibs/num/Makefile.nt b/otherlibs/num/Makefile.nt deleted file mode 100644 index ed9900bb9a..0000000000 --- a/otherlibs/num/Makefile.nt +++ /dev/null @@ -1,16 +0,0 @@ -#************************************************************************** -#* * -#* OCaml * -#* * -#* Xavier Leroy, projet Cristal, INRIA Rocquencourt * -#* * -#* Copyright 1999 Institut National de Recherche en Informatique et * -#* en Automatique. * -#* * -#* All rights reserved. This file is distributed under the terms of * -#* the GNU Lesser General Public License version 2.1, with the * -#* special exception on linking described in the file LICENSE. * -#* * -#************************************************************************** - -include Makefile |