Skip to content

Conversation

mafredri
Copy link
Member

@mafredri mafredri commented Mar 14, 2025

This change adds a Makefile to simplify maintenance.

@mafredri mafredri requested a review from mtojek March 14, 2025 15:42
Copy link
Member

@mtojek mtojek left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

stamp 👍

@mafredri mafredri merged commit 246891f into master Mar 14, 2025
4 checks passed
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