Eike Kettner 5679ac4858 Remove references to pdf in the doc
It's not only for pdf files anymore.
2020-05-27 00:44:04 +02:00
..
2020-03-28 21:44:14 +01:00
2020-03-28 21:44:14 +01:00
2020-03-27 00:35:15 +01:00
2020-03-28 21:44:14 +01:00
2020-03-28 21:44:14 +01:00
2020-05-27 00:44:04 +02:00
2020-05-25 09:52:19 +02:00
2020-03-28 21:44:14 +01:00