# HG changeset patch
# User HackBot
# Date 1496426483 0
# Node ID 41dd3748ec67e5f1a4a63246ab33eaa789736798
# Parent  1c579f5d4be1d3a0565b9b1680dfb46b7dc4b8c4
<shachaf> forget shortness

diff -r 1c579f5d4be1 -r 41dd3748ec67 wisdom/shortness
--- a/wisdom/shortness	Fri Jun 02 18:00:07 2017 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-syn. "brevity"