# HG changeset patch
# User HackBot
# Date 1481938678 0
# Node ID 0f333924df9db7d1f7b1afe3e32aa7485ed51f00
# Parent  8f91455e4c370f317467d51e7251890300de1e69
<shachaf> forget dnm

diff -r 8f91455e4c37 -r 0f333924df9d wisdom/dnm
--- a/wisdom/dnm	Fri Dec 16 19:51:56 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-dnm does not mind.