# HG changeset patch
# User HackBot
# Date 1456783851 0
# Node ID f17fd25da8ccf8fa168c562b763cf8eb88b44c63
# Parent  cee4c86ef7651ee7d42cc494205a03dae677690c
<shachaf> addquote <b_jonas> shachaf: different notation. -o is logical or in find, but it\'s linear implication in linear logic

diff -r cee4c86ef765 -r f17fd25da8cc quotes
--- a/quotes	Mon Feb 29 17:51:08 2016 +0000
+++ b/quotes	Mon Feb 29 22:10:51 2016 +0000
@@ -1266,3 +1266,4 @@
 <coppro> actually a small trebuchet onto the balcony might work
 <boily> what's a TLS?  <fizzie> boily: You know, the successor of SSL.  * boily has two many brainfarts...  <boily> I didn't ask anything. you didn't see nothing at all.
 <\oren\> i don't actually knwo the details, but i want those responsible, whoever they were to be punished
+<b_jonas> shachaf: different notation. -o is logical or in find, but it's linear implication in linear logic