From 21a1121da65bf889547b5bebf26b71c71aad7ad4 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 19 Dec 2018 02:30:23 -0800 Subject: [PATCH] Removing debug print. --- tools/find.nom | 1 - 1 file changed, 1 deletion(-) 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: