adg: use another diameter symbol by default
commitfb308be6c189c1b2d52c862a63709a896095c532
authorNicola Fontana <ntd@entidi.it>
Tue, 9 Dec 2014 09:12:02 +0000 (9 10:12 +0100)
committerNicola Fontana <ntd@entidi.it>
Tue, 9 Dec 2014 09:12:24 +0000 (9 10:12 +0100)
tree9dcab1f6b3aa2578c181e5c6ca3fc9b120b3fb7f
parent113fc694da4754abc09fe757a35b83c6293f9ae7
adg: use another diameter symbol by default

The UTF-8 symbol "\xE2\x8C\x80" is more semantically correct but not
backed up by the fonts (e.g. CentOS 5.4 and Windows XP). Use the
"\xC3\xB8" phi instead.
src/adg/adg-utils.h