Skip to content

Make logfile name configurable#64

Merged
birkholz-cubert merged 1 commit intodevelopfrom
feature/make_logfile_name_configurable
Jun 4, 2025
Merged

Make logfile name configurable#64
birkholz-cubert merged 1 commit intodevelopfrom
feature/make_logfile_name_configurable

Conversation

@manke-cubert
Copy link
Copy Markdown
Contributor

No description provided.

@birkholz-cubert birkholz-cubert merged commit 67cc579 into develop Jun 4, 2025
@birkholz-cubert birkholz-cubert deleted the feature/make_logfile_name_configurable branch July 3, 2025 08:35
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