diff options
| author | jao <jao@gnu.org> | 2021-05-05 02:20:14 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-05-05 02:20:14 +0100 |
| commit | 119147eafdc798d4c9b2dfc160d9fc6972a298bd (patch) | |
| tree | 264dd3f02c428cae08674e07c88381f8ca29d967 /.gitignore | |
| parent | 5e519e0617427eff39578e16c36487ee66b5acd9 (diff) | |
| download | elibs-119147eafdc798d4c9b2dfc160d9fc6972a298bd.tar.gz elibs-119147eafdc798d4c9b2dfc160d9fc6972a298bd.tar.bz2 | |
pdf: inhibit saving sessions while opening them
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions