Starting from 2021-07-01, all LRZ GitLab users will be required to explicitly accept the GitLab Terms of Service. Please see the detailed information at and make sure that your projects conform to the requirements.

Commit 29918a87 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Updated maintainer information

parent 0eabce8b
...@@ -7,7 +7,7 @@ description: ...@@ -7,7 +7,7 @@ description:
license: GPL-3 license: GPL-3
license-file: LICENSE license-file: LICENSE
author: Philipp Meyer author: Philipp Meyer
maintainer: maintainer:
category: Formal Methods category: Formal Methods
build-type: Simple build-type: Simple
extra-source-files: extra-source-files:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment