diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-06-03 12:35:37 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-06-03 12:35:37 +0200 |
| commit | cf63d668bf0cd9656c0ecd8a7e4765547027e4da (patch) | |
| tree | 5adf123de0ee84fb2c642a09188ac17615a6599b /.settings/org.eclipse.core.resources.prefs | |
| parent | c6c9ed1d1eee00976667cec5e86aae742308240c (diff) | |
| download | pdf-over-cf63d668bf0cd9656c0ecd8a7e4765547027e4da.tar.gz pdf-over-cf63d668bf0cd9656c0ecd8a7e4765547027e4da.tar.bz2 pdf-over-cf63d668bf0cd9656c0ecd8a7e4765547027e4da.zip | |
quick cleanup/refactoring
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
0 files changed, 0 insertions, 0 deletions