Skip to content
Snippets Groups Projects

Update oaf.md: no longer active

Passed
Michael Kohlhase created pipeline for commit 49d74b03
, finished
For master
branch
1 job 1 minute 6 seconds, queued for 2 seconds