Commit 2957d6f6 authored by Michael Hanus 's avatar Michael Hanus

currydoc includes removed

parent 60ba6e51
Pipeline #1480 passed with stages
in 65 minutes and 52 seconds