diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-08-02 13:05:34 +0300 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-08-02 13:05:34 +0300 |
commit | f9571a595986fbaaa7e03c8316219a579fb5b914 (patch) | |
tree | 631d650347272ec90c2687319aba120794dbe4d3 /src/ui/documentwidget.c | |
parent | f3d01757dfcbe9f9e63c6041a5b2152328c5fb2a (diff) | |
parent | eb2a59e2506ba77799d381420aba2ddedaaaa9b8 (diff) |
Merge branch 'dev' into work/v1.7
Diffstat (limited to 'src/ui/documentwidget.c')
0 files changed, 0 insertions, 0 deletions