Delete some old, no-longer-used files

Christian Rochacommitted parent 557e2ae090df07f1a2ab6e690f336e8cd4558eace556e2dBrowse files
23 files changed+0−1755

Rendering diff…