# HG changeset patch
# User HackBot
# Date 1406206599 0
# Node ID 885863903a3a9115d606cf4fcb50f5efe3206bec
# Parent  5dc15af8f4f6b04525dc87832271c4832189330b
<oerjan> rm wisdom/Monoids

diff -r 5dc15af8f4f6 -r 885863903a3a wisdom/Monoids
--- a/wisdom/Monoids	Thu Jul 24 07:09:20 2014 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A