Skip to content

MAINT: Remove unused source files under docs#3239

Open
david-cortes-intel wants to merge 1 commit into
uxlfoundation:mainfrom
david-cortes-intel:remove_unused_patching
Open

MAINT: Remove unused source files under docs#3239
david-cortes-intel wants to merge 1 commit into
uxlfoundation:mainfrom
david-cortes-intel:remove_unused_patching

Conversation

@david-cortes-intel
Copy link
Copy Markdown
Contributor

Description

Docs contain a folder 'patching' with source .rst files, but these files aren't referenced anywhere. The patching section is taken from a different file.


Checklist:

Completeness and readability

  • I have updated the documentation to reflect the changes or created a separate PR with updates and provided its number in the description, if necessary.
  • Git commit message contains an appropriate signed-off-by string (see CONTRIBUTING.md for details).
  • I have resolved any merge conflicts that might occur with the base branch.

Testing

  • I have run it locally and tested the changes extensively.
  • All CI jobs are green or I have provided justification why they aren't.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants