New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

use io.github.eerohele/pp #9

Merged

mpenet merged 2 commits into master from mpenet/new-pp

Oct 6, 2023

Member

mpenet commented Oct 6, 2023 •

edited

Loading

closes #6

mpenet added 2 commits

October 6, 2023 15:55


          try out io.github.eerohele/pp

ab471c0


          fixup! try out io.github.eerohele/pp

9d3ca52

mpenet changed the title ~~try out io.github.eerohele/pp~~ use io.github.eerohele/pp

mpenet marked this pull request as ready for review

October 6, 2023 14:02

mpenet merged commit 48abc6f into master

1 check passed

mpenet deleted the mpenet/new-pp branch

October 6, 2023 14:02

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet