Stefan Agner 8020671ca6 Drop directories when creating zip file (#1372) ...

We zip a single file nested in a rather deep directory tree which stems
from the build system. This doesn't need to be exposed to users.

2021-05-25 19:32:42 +02:00

11 KiB

Executable File

Raw Blame History

View Raw