Remove the unused "lib" top-level directory

This commit is contained in:
Pierre-Marie de Rodat
2019-04-17 12:18:28 +02:00
parent cf7f6f5780
commit 721bb77ee4
View File