Skip to content

GitLab

Merged
Created by Timothy E Baldwin@tbaldwinDeveloper

Remove duplicated documents

Between RISC OS 3.6 and 3.7 the directory was renamed from Doc to Docs and was duplicated during CVS import.

Fix by deleting Doc. Identical files remain in Docs.