Skip to content

Remove moved files

Frank Duncan requested to merge 5-update-documentation into main

Created by: slifty

The previous commit / PR had a mistake: it added moved files without actually removing them. Unfortunately it is already merged, so instead of rewriting history I'm just opening another PR for the second half.

Sorry for ruining all the statistics....

Merge request reports