build.gradle

5 years ago

dgelessus authored 5 years ago

Now also displays the version of the ProB 2 Jupyter kernel and more
detailed info about the ProB CLI version.

091ba271

dgelessus authored 5 years ago

Now also displays the version of the ProB 2 Jupyter kernel and more
detailed info about the ProB CLI version.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.