# HG changeset patch # User HackBot # Date 1476399125 0 # Node ID c2dc97e6b1d3a9785bb2f385fddafd3e22aee11a # Parent befe19c198c38b7ea82ecb0ba65e52fec91159fe rm bin/quonoid diff -r befe19c198c3 -r c2dc97e6b1d3 bin/quonoid --- a/bin/quonoid Thu Oct 13 22:51:04 2016 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -quote monoid