Skip to content
This repository was archived by the owner on Feb 26, 2025. It is now read-only.

Update lexertl14 to latest commit cd5a1f1 #397

Merged
merged 1 commit into from
Mar 28, 2022

Conversation

eleftherioszisis
Copy link
Contributor

@eleftherioszisis eleftherioszisis commented Mar 28, 2022

@eleftherioszisis eleftherioszisis merged commit 3bd258e into master Mar 28, 2022
@eleftherioszisis eleftherioszisis deleted the zisis/update-lexertl14 branch March 28, 2022 11:58
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