Skip to content

Update jvm.py#1587

Merged
Anteru merged 1 commit intopygments:masterfrom
bk322:master
Dec 5, 2020
Merged

Update jvm.py#1587
Anteru merged 1 commit intopygments:masterfrom
bk322:master

Conversation

@bk322
Copy link
Copy Markdown
Contributor

@bk322 bk322 commented Oct 27, 2020

Added support for kotlin scripts.

Added support for kotlin scripts.
@Anteru Anteru self-assigned this Nov 2, 2020
@Anteru Anteru added the changelog-update Items which need to get mentioned in the changelog label Nov 28, 2020
@Anteru Anteru added this to the 2.7.3 milestone Nov 28, 2020
@Anteru Anteru merged commit 05762d9 into pygments:master Dec 5, 2020
@Anteru Anteru removed the changelog-update Items which need to get mentioned in the changelog label Dec 5, 2020
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.

2 participants