diff options
author | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-12 23:24:47 +0000 |
---|---|---|
committer | Georg Holzmann <grholzi@users.sourceforge.net> | 2007-01-12 23:24:47 +0000 |
commit | 7555e578941a2506dbf6254a7bb02b8d090a30d2 (patch) | |
tree | 9746c7d338d1a354f1e4e822397005a9bc6acab0 /externals/build/src/rl.c | |
parent | 95e8f30f4da5daada9b99d16ed5805441bba82bb (diff) |
these files are now in the ggee libdir
svn path=/trunk/; revision=7319
Diffstat (limited to 'externals/build/src/rl.c')
-rw-r--r-- | externals/build/src/rl.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/externals/build/src/rl.c b/externals/build/src/rl.c deleted file mode 100644 index 286b8a8e..00000000 --- a/externals/build/src/rl.c +++ /dev/null @@ -1,3 +0,0 @@ - -#include "../../ggee/control/rl.c" - |