Skip to content

Conversation

@rmoff
Copy link
Contributor

@rmoff rmoff commented Sep 11, 2024

More smartening up the repo - badges!

Since we don't have any builds to list, I've just created some randomish ones using shields.io:

CleanShot 2024-09-11 at 10 10 52

@gunnarmorling
Copy link
Contributor

LOL, ok.

@rmoff rmoff merged commit 5b48cc4 into main Sep 11, 2024
@hpgrahsl hpgrahsl deleted the DE-7553b branch March 7, 2025 08:45
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.

3 participants