diff options
| author | jao <jao@gnu.org> | 2019-04-03 21:55:20 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2019-04-03 21:55:20 +0100 |
| commit | 8a5a267b06eb073cee07518d1d45a8b6bcaedc32 (patch) | |
| tree | 1bcac8297ce68ac3a8aa663bc6b9f9b3ecf6bc7c /themes | |
| parent | d16a9025e1db1774895f46471a77449e55daeab8 (diff) | |
| download | elibs-8a5a267b06eb073cee07518d1d45a8b6bcaedc32.tar.gz elibs-8a5a267b06eb073cee07518d1d45a8b6bcaedc32.tar.bz2 | |
doc-view: totally silent background session saving
Diffstat (limited to 'themes')
0 files changed, 0 insertions, 0 deletions