diff options
Diffstat (limited to 'apps/FILES')
| -rw-r--r-- | apps/FILES | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apps/FILES b/apps/FILES index f8835d9128..d99e20d920 100644 --- a/apps/FILES +++ b/apps/FILES | |||
| @@ -12,3 +12,4 @@ plugins/plugin.lds | |||
| 12 | plugins/*.txt | 12 | plugins/*.txt |
| 13 | plugins/lib/*.[ch] | 13 | plugins/lib/*.[ch] |
| 14 | plugins/lib/Makefile | 14 | plugins/lib/Makefile |
| 15 | plugins/sokoban.levels | ||