Merge branch 'devel/optionintarray' into 'main' (b5c6ac36) · Commits · Christoph Alt / cb-util · GitLab

Snippets Groups Projects

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Commit b5c6ac36 authored 1 year ago by

Christoph Alt

Merge branch 'devel/optionintarray' into 'main'

added the possbility to parse an PetscOptionIntArray String

See merge request !7

parents b0fc8895 11faf849

Branches

Pipeline #54315 passed with stages

in 41 seconds

Hide whitespace changes

Inline Side-by-side

Showing with 31 additions and 2 deletions

Please register or to comment