diff wisdom/nm @ 11092:afd39edfd174

<shachaf> slwd nm//s/no/nondeterministic/
author HackBot
date Tue, 18 Jul 2017 21:59:20 +0000
parents cc46c466a8b2
children
line wrap: on
line diff
--- 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