diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-05-03 16:52:47 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-05-03 16:52:47 +0200 |
| commit | 2879b73fac31cfa85ee1df16facc66377f59807e (patch) | |
| tree | db02fab12d3a286add54277b88decd8cf63976c0 /pdf-over-gui/src/main/resources/icons | |
| parent | ed2067bbcd8b16f84429595ef8834c90123f79d8 (diff) | |
| download | pdf-over-2879b73fac31cfa85ee1df16facc66377f59807e.tar.gz pdf-over-2879b73fac31cfa85ee1df16facc66377f59807e.tar.bz2 pdf-over-2879b73fac31cfa85ee1df16facc66377f59807e.zip | |
properly inform VS Code of the new java version we're using
Diffstat (limited to 'pdf-over-gui/src/main/resources/icons')
0 files changed, 0 insertions, 0 deletions