diff options
| author | Tilman Vatteroth | 2020-11-26 20:52:57 +0100 |
|---|---|---|
| committer | Tilman Vatteroth | 2020-11-26 21:09:23 +0100 |
| commit | 97312b5ed3db8e5967184fc2f693a47dcba091f5 (patch) | |
| tree | dd3bc2b71d3bbdd80194696b7219ff09a44690ae /.gitignore | |
| parent | 66ad73d853d15423c63b823102931b35ef93722a (diff) | |
Remove pdf export code
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions