# HG changeset patch
# User HackBot
# Date 1500415160 0
# Node ID afd39edfd1742946c665900d80a6db97c81f3558
# Parent  ac2adf725a7ecdac0df3add540c521d106c490a5
<shachaf> slwd nm//s/no/nondeterministic/

diff -r ac2adf725a7e -r afd39edfd174 wisdom/nm
--- a/wisdom/nm	Mon Jul 17 01:18:03 2017 +0000
+++ b/wisdom/nm	Tue Jul 18 21:59:20 2017 +0000
@@ -1,1 +1,1 @@
-nm means "no minotaur" hth
+nm means "nondeterministic minotaur" hth