Skip to content

Support for papi 7.2 and some ergonomics#2

Open
ra1u wants to merge 1 commit intoLutzCle:masterfrom
ra1u:master
Open

Support for papi 7.2 and some ergonomics#2
ra1u wants to merge 1 commit intoLutzCle:masterfrom
ra1u:master

Commits

Commits on Mar 22, 2025