Skip to content

Rename files according to nhs_*.jl#16

Merged
efaulhaber merged 1 commit intotrixi-framework:mainfrom
LasNikas:rename-files
May 21, 2024
Merged

Rename files according to `nhs_*.jl`#16
efaulhaber merged 1 commit intotrixi-framework:mainfrom
LasNikas:rename-files

Commits

Commits on May 17, 2024