Frans de Jonge 5992bb6401 Bump fonts (#4744) ...

Fixes #4743 (shallow submodule + GitHub bug). Updated FreeSans fixes #4707 todo (swapped arrows).

2019-03-05 22:56:59 +01:00

..

modules

Bump fonts (#4744)

2019-03-05 22:56:59 +01:00

readerui.lua

decouple UI definitions from document modules

2019-03-03 13:10:45 +01:00

skimtowidget.lua

Change skim mode menu & dialog title (#4223)

2018-09-18 21:37:13 +02:00