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 19d3a5576f..f4b1c6dca7 100644 --- a/tools/FILES +++ b/tools/FILES | |||
| @@ -23,3 +23,4 @@ ucl/*.[ch] | |||
| 23 | ucl/src/*.[ch] | 23 | ucl/src/*.[ch] |
| 24 | ucl/src/Makefile | 24 | ucl/src/Makefile |
| 25 | ucl/include/ucl/*.h | 25 | ucl/include/ucl/*.h |
| 26 | profile_reader/*.pl | ||