changeset 11092:afd39edfd174

<shachaf> slwd nm//s/no/nondeterministic/
author HackBot
date Tue, 18 Jul 2017 21:59:20 +0000
parents ac2adf725a7e
children 5d942b11a1c6
files wisdom/nm
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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