diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2018-12-19 02:30:23 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2018-12-19 02:30:23 -0800 |
| commit | 21a1121da65bf889547b5bebf26b71c71aad7ad4 (patch) | |
| tree | 10249394be121ba9f899f31568a687c5b342e234 /tools/find.nom | |
| parent | f75fc15cdfd9d6727b7c8489abfc2165ca0f114b (diff) | |
Removing debug print.
Diffstat (limited to 'tools/find.nom')
| -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: |