# HG changeset patch
# User wenzelm
# Date 1451644049 -3600
# Node ID 8007e4ff493aa3bc603b2b2e7869db45095df628
# Parent  e3e22a5e85f2269054c26f70e32ecad671a3f1c2
clarified abbrev;

diff -r e3e22a5e85f2 -r 8007e4ff493a etc/symbols
--- a/etc/symbols	Fri Jan 01 11:18:54 2016 +0100
+++ b/etc/symbols	Fri Jan 01 11:27:29 2016 +0100
@@ -352,7 +352,7 @@
 \<dieresis>             code: 0x0000a8
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
-\<bind>                 code: 0x00291c  abbrev: >>  abbrev: >>=
+\<bind>                 code: 0x00291c  abbrev: >>=
 \<then>                 code: 0x002aa2  abbrev: >>
 \<some>                 code: 0x0003f5
 \<hole>                 code: 0x002311