Remove files: those are not extracted anymore

Description

Remove files: those are not extracted anymore

Details

Committed
ltoscanoNov 22 2019, 3:16 PM
Parents
R883:1556723: Merged summit. [>wantoyo]
Branches
Unknown
Tags
Unknown