diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/FILES | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/FILES b/tools/FILES index f4b1c6dca7..ee4cb77a45 100644 --- a/tools/FILES +++ b/tools/FILES | |||
@@ -12,8 +12,7 @@ buildzip.pl | |||
12 | romsizetest.pl | 12 | romsizetest.pl |
13 | wn2rdf.pl | 13 | wn2rdf.pl |
14 | dict2rdf.pl | 14 | dict2rdf.pl |
15 | make.inc | 15 | *.inc |
16 | makesrc.inc | ||
17 | fwpatcher/*.[ch] | 16 | fwpatcher/*.[ch] |
18 | fwpatcher/Makefile | 17 | fwpatcher/Makefile |
19 | fwpatcher/favicon.ico | 18 | fwpatcher/favicon.ico |