diff options
Diffstat (limited to 'tools/FILES')
-rw-r--r-- | tools/FILES | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/FILES b/tools/FILES index 25cfb0e713..57a931473f 100644 --- a/tools/FILES +++ b/tools/FILES | |||
@@ -20,3 +20,4 @@ ucl/src/Makefile | |||
20 | ucl/include/ucl/*.h | 20 | ucl/include/ucl/*.h |
21 | profile_reader/*.pl | 21 | profile_reader/*.pl |
22 | rockboxdev.sh | 22 | rockboxdev.sh |
23 | mkmi4.sh | ||