# HG changeset patch
# User HackBot
# Date 1491956841 0
# Node ID 8ccdce17e5f0b5f07ef1c443b5edc2538dde9912
# Parent  7c612b447078ef797b01a56992da83d8c52132e5
<oerjan> le/rn brevity//syn. "shortness"

diff -r 7c612b447078 -r 8ccdce17e5f0 wisdom/brevity
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/brevity	Wed Apr 12 00:27:21 2017 +0000
@@ -0,0 +1,1 @@
+syn. "shortness"