Visitar URL original
Add URDF identification by Skylion007 · Pull Request #210 · pre-commit/identify · GitHub
Skip to content

Add URDF identification - #210

Merged
asottile merged 1 commit into
pre-commit:masterfrom
Skylion007:patch-1
Jun 5, 2021
Merged

asottile merged 1 commit into
pre-commit:masterfrom
Skylion007:patch-1

Conversation

@Skylion007

Copy link
Copy Markdown
Contributor

Adds support for the URDF file format which is a type of XML file.

@asottile asottile left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@asottile
asottile merged commit db11ef2 into pre-commit:master Jun 5, 2021
@DLu DLu mentioned this pull request Oct 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants