# HG changeset patch
# User HackBot
# Date 1435171989 0
# Node ID 2e5ec4e4578638ab01eb734eee8d076fca21a70c
# Parent  9e6cd70b70abac317a687356e39a7483a5b5273a
<shachaf> ` sed -i \'s/  / /\' wisdom/boredom

diff -r 9e6cd70b70ab -r 2e5ec4e45786 wisdom/boredom
--- a/wisdom/boredom	Wed Jun 24 18:52:49 2015 +0000
+++ b/wisdom/boredom	Wed Jun 24 18:53:09 2015 +0000
@@ -1,1 +1,1 @@
-A boredom is like a kingdom, except ruled by a bore.  They don't tend to last very long before people revolt.
+A boredom is like a kingdom, except ruled by a bore. They don't tend to last very long before people revolt.