changeset 5830:1514ed7b6240

<oerjan> revert
author HackBot
date Sat, 11 Jul 2015 03:48:38 +0000
parents a062ac5f3fc0
children 1762dbe10ae1
files quotes
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/quotes	Sat Jul 11 03:47:27 2015 +0000
+++ b/quotes	Sat Jul 11 03:48:38 2015 +0000
@@ -1244,4 +1244,3 @@
 <ais523> do we seriously not do quotes any more?
 <ais523> hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context  <ais523> because you can tell it was added from the fact that it's there
 <ais523> (on another note, I love the way that the standard way to indicate that you get a reference is to make a different obscure reference to the same thing)
-<Jafet> Some people, when confronted with a problem, think "I know, I'll use the Banach-Tarski theorem."