diff options
| author | raveit65 <[email protected]> | 2016-06-24 20:09:22 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-06-29 16:23:03 +0200 |
| commit | 660f81b3fdcc0ca436c95eaf41885accd74ec034 (patch) | |
| tree | 9ec945a8ae0a64d59cec8f473d611c1fd0e9b293 /backend/dvi/mdvi-lib/setup.c | |
| parent | 4bd77ab2a58733fd599912946e84b57904e3e040 (diff) | |
| download | atril-660f81b3fdcc0ca436c95eaf41885accd74ec034.tar.bz2 atril-660f81b3fdcc0ca436c95eaf41885accd74ec034.tar.xz | |
dvi: Use new font name instead of the old one
https://bugzilla.gnome.org/show_bug.cgi?id=612298
taken from:
https://git.gnome.org/browse/evince/commit/?id=8bab924
Diffstat (limited to 'backend/dvi/mdvi-lib/setup.c')
0 files changed, 0 insertions, 0 deletions