Skip to content

Add the file extension *.resource to the list of Robot Framework files.#2047

Merged
birkenfeld merged 3 commits intopygments:masterfrom
HelioGuilherme66:NewFileExtension
Jan 27, 2022
Merged

Add the file extension *.resource to the list of Robot Framework files.#2047
birkenfeld merged 3 commits intopygments:masterfrom
HelioGuilherme66:NewFileExtension

Conversation

@HelioGuilherme66
Copy link
Copy Markdown
Contributor

A Robot Framework Resource file can be a .robot or a .resource file.

@birkenfeld
Copy link
Copy Markdown
Member

Please also regenerate the master list (make mapfiles).

@birkenfeld birkenfeld merged commit d9ddff1 into pygments:master Jan 27, 2022
@Anteru Anteru added this to the 2.12.0 milestone Feb 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants