Remove unneeded files

Authored by nicolasfella on Oct 24 2018, 10:43 AM.

Description

Remove unneeded files

Restores the look we wanted since D12290

Details

Committed
nicolasfellaOct 24 2018, 10:43 AM
Parents
R225:26ff23e6d5cc: GIT_SILENT made messages (after extraction)
Branches
Unknown
Tags
Unknown