diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/find.nom | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/find.nom b/tools/find.nom index aeb535d..4d0c29e 100755 --- a/tools/find.nom +++ b/tools/find.nom @@ -29,7 +29,6 @@ if (any of [not $pattern, $pattern == "*", $pattern == "**"]): $pattern = ($pattern|with "\$wildcard\$wildcard" -> "$multi_wildcard") $pattern = ($pattern|with $wildcard -> "$wildcard") $pattern_tree = ($pattern parsed) -say $pattern_tree ($tree matches $patt) means: when: |