[DejaVu-bugs] [Bug 69233] Missing codepoints in DejaVu Sans Mono used by Agda standard library
bugzilla-daemon at freedesktop.org
bugzilla-daemon at freedesktop.org
Sat Sep 14 06:07:27 PDT 2013
https://bugs.freedesktop.org/show_bug.cgi?id=69233
--- Comment #1 from nocturnaldreamer at gmail.com ---
U+20A0 ₠ is already available, but since this isn't a mathematical symbol I
suspect you meant another code point.
--
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.freedesktop.org/archives/dejavu-bugs/attachments/20130914/37c3b488/attachment.html>
More information about the DejaVu-bugs
mailing list