Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
K Kernel
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Labels
    • Labels
  • Merge requests 7
    • Merge requests 7
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Analytics
    • Analytics
    • CI/CD
    • Repository
    • Value Stream
  • Members
    • Members
  • Activity
  • Graph
  • Jobs
  • Commits
Collapse sidebar
  • RiscOS
  • Sources
  • Kernel
  • Merge requests
  • !7

Merged
Created Oct 09, 2019 by Timothy E Baldwin@tbaldwinDeveloper

Remove duplicated documents

  • Overview 0
  • Commits 1
  • Changes 6

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.

Assignee
Assign to
Reviewer
Request review from
None
Milestone
None
Assign milestone
Time tracking
Source branch: Kernel-dedup