Jean-Marc Lasgouttes 84412ff198 Small fixes to extract.sh
The libs/ directory is not relevant anymore.
2020-11-29 21:41:27 +01:00
..
2020-11-28 19:59:17 +01:00
2020-11-29 21:41:27 +01:00