Skip to content

Removal of many obsolete doc-related files

Eduardo Rodrigues requested to merge erodrigu-cleanup-2021-01 into master

Related to the clean-up campaign see

@pkoppenb, nothing but totally trivial things that I thought we could get rid of, while I was browsing the repository. The less irrelevant files we have the better.

Merge request reports