# HG changeset patch
# User HackBot
# Date 1456963583 0
# Node ID db568583e26b204bb3afcb5295c98d005a2719a9
# Parent  53e47c85558ea613ef036fb8912e564faf6a8a9a
<oerjan> rm wisdom/optional.

diff -r 53e47c85558e -r db568583e26b wisdom/optional.
--- a/wisdom/optional.	Thu Mar 03 00:05:00 2016 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-optional.