remove now unused extlib

This commit is contained in:
Marcus Hoffmann 2020-11-12 15:31:21 +01:00
parent 9bc9bdbde0
commit 80cef1d99f