Skip to content

Comments

Remove modeline element from global editor variable#985

Merged
cxxxr merged 2 commits intolem-project:mainfrom
Sasanidas:main
Aug 21, 2023
Merged

Remove modeline element from global editor variable#985
cxxxr merged 2 commits intolem-project:mainfrom
Sasanidas:main

Conversation

@Sasanidas
Copy link
Member

No description provided.

@cxxxr cxxxr merged commit 941dedf into lem-project:main Aug 21, 2023
@cxxxr
Copy link
Member

cxxxr commented Aug 21, 2023

Thanks!

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