Skip to content

Add a file for useful constants - #91

Merged
dilpath merged 2 commits into
mainfrom
constants_fil
Jul 22, 2026
Merged

Add a file for useful constants#91
dilpath merged 2 commits into
mainfrom
constants_fil

Conversation

@dilpath

@dilpath dilpath commented Jul 22, 2026

Copy link
Copy Markdown
Member

Will be used by the linter.

@dilpath
dilpath requested a review from BSnelling July 22, 2026 14:17
@dilpath
dilpath merged commit c07f699 into main Jul 22, 2026
7 checks passed
@dilpath
dilpath deleted the constants_fil branch July 22, 2026 16:40
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