commit 0c8019a9036cc71b757b59c4a48501c47c00cb97
Author: Juergen Spitzmueller sp...@lyx.org
Date: Thu Jun 11 11:11:26 2015 +0200
consistent replacement for CEDILLA in unicodesymbols (bug #9614)
Patch by Guenter Milde
diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index
commit 0c8019a9036cc71b757b59c4a48501c47c00cb97
Author: Juergen Spitzmueller
Date: Thu Jun 11 11:11:26 2015 +0200
consistent replacement for CEDILLA in unicodesymbols (bug #9614)
Patch by Guenter Milde
diff --git a/lib/unicodesymbols b/lib/unicodesymbols
index