Removed old doc library

This commit is contained in:
Nis Wechselberg 2018-06-20 20:13:25 +02:00
parent 33d8d0739c
commit 86bbee4be6