diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/FILES | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/FILES b/tools/FILES index 5d26b66815..6404f001b7 100644 --- a/tools/FILES +++ b/tools/FILES | |||
@@ -8,10 +8,7 @@ uplang | |||
8 | binlang | 8 | binlang |
9 | rockbox-style.el | 9 | rockbox-style.el |
10 | sample.emacs | 10 | sample.emacs |
11 | buildzip.pl | 11 | *.pl |
12 | romsizetest.pl | ||
13 | wn2rdf.pl | ||
14 | dict2rdf.pl | ||
15 | *.inc | 12 | *.inc |
16 | fwpatcher/*.[ch] | 13 | fwpatcher/*.[ch] |
17 | fwpatcher/Makefile | 14 | fwpatcher/Makefile |