# HG changeset patch
# User HackBot
# Date 1335522144 0
# Node ID b22613304b78d911791fe2c61a028febc4094854
# Parent  9f3e5d4205924f546e8b37511a35feed83bf9d91
<elliott> delquote 848

diff -r 9f3e5d420592 -r b22613304b78 quotes
--- a/quotes	Fri Apr 27 10:22:15 2012 +0000
+++ b/quotes	Fri Apr 27 10:22:24 2012 +0000
@@ -845,4 +845,3 @@
 <monqy> 200 and 20 are the same  <monqy> different notations for the same thing
 <Ngevd> And I may soon lack both a head and a wall
 <shachaf> U+2205 [∅] NO LETTER O ALLOWED
-<shachaf> Forth and Agda are basically the same thing