diff options
Diffstat (limited to 'tools/find.nom')
| -rwxr-xr-x | tools/find.nom | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/find.nom b/tools/find.nom index 8f2bc9f..f9a63b9 100755 --- a/tools/find.nom +++ b/tools/find.nom @@ -16,8 +16,8 @@ <filename>:<line number>: <matching lines> -use "lib/os.nom" -use "lib/consolecolor.nom" +use "lib/os" +use "lib/consolecolor" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |