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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions