Skip to content

Commit

Permalink
Merge pull request #15 from poncateam/update_ponca_to_v1.2
Browse files Browse the repository at this point in the history
Update ponca to v1.2
  • Loading branch information
nmellado authored Dec 15, 2023
2 parents 58453d6 + 4913b4f commit e9fec31
Showing 1 changed file with 1 addition and 1 deletion.