diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-07-07 12:57:59 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-07-07 12:57:59 +0200 |
| commit | 3c1e373f9fdf83da4b2083101c77a664ea756091 (patch) | |
| tree | 006f866de8ffc24d3bab5fb1a37a1d17ea1d6ec2 /pdf-over-gui/src/main/resources/scripts | |
| parent | 5555d3c73c2b4b9e1f9341be9053dde91a02af6a (diff) | |
| download | pdf-over-3c1e373f9fdf83da4b2083101c77a664ea756091.tar.gz pdf-over-3c1e373f9fdf83da4b2083101c77a664ea756091.tar.bz2 pdf-over-3c1e373f9fdf83da4b2083101c77a664ea756091.zip | |
YAGNI: the four different Config* interfaces that are only implemented once
Diffstat (limited to 'pdf-over-gui/src/main/resources/scripts')
0 files changed, 0 insertions, 0 deletions