Skip to content

add further prettier implementations#72

Merged
thodel merged 18 commits intoDHBern:mainfrom
thodel:main
Feb 27, 2026
Merged

add further prettier implementations#72
thodel merged 18 commits intoDHBern:mainfrom
thodel:main

Conversation

@thodel
Copy link
Contributor

@thodel thodel commented Feb 27, 2026

Pull request

Proposed changes

Types of changes

  • New feature (non-breaking change which adds functionality).
  • Enhancement (non-breaking change which enhances functionality)
  • Bug Fix (non-breaking change which fixes an issue).
  • Breaking change (fix or feature that would cause existing functionality to change).

Checklist

  • I have read the README document.
  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.

@thodel thodel merged commit d27e40f into DHBern:main Feb 27, 2026
5 of 6 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.

1 participant