diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-08-10 10:47:13 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-08-10 10:47:13 +0200 |
| commit | 362ef2282c3efa0a2a8b807218f61c77697c6367 (patch) | |
| tree | 61e333fbb74be72e5354990c000ab0ad650e4629 /.settings/org.eclipse.core.resources.prefs | |
| parent | d8b153cc7c9f57922d1d6bed4cdbe07e3564a926 (diff) | |
| download | pdf-over-362ef2282c3efa0a2a8b807218f61c77697c6367.tar.gz pdf-over-362ef2282c3efa0a2a8b807218f61c77697c6367.tar.bz2 pdf-over-362ef2282c3efa0a2a8b807218f61c77697c6367.zip | |
offer factory reset if startup fails, or config screen fails to load, cf. #114
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
0 files changed, 0 insertions, 0 deletions