Skip to content

theme-monokai: fix tabs indentation#72269

Merged
aeschli merged 1 commit intomicrosoft:masterfrom
ljmf00:monokai-tabs-patch
Apr 15, 2019
Merged

theme-monokai: fix tabs indentation#72269
aeschli merged 1 commit intomicrosoft:masterfrom
ljmf00:monokai-tabs-patch

Conversation

@ljmf00
Copy link
Contributor

@ljmf00 ljmf00 commented Apr 13, 2019

No description provided.

@aeschli aeschli merged commit 4be2b91 into microsoft:master Apr 15, 2019
@aeschli
Copy link
Contributor

aeschli commented Apr 15, 2019

Thanks @ljmf00 !

@aeschli aeschli added this to the April 2019 milestone Apr 15, 2019
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants