ROOTS
author wneuper <Walther.Neuper@jku.at>
Fri, 01 Dec 2023 05:51:18 +0100
changeset 60770 365758b39d90
parent 60217 1d9fee958a46
permissions -rw-r--r--
prepare 16: adapt Refine to variants
     1 src/Tools/isac
     2 src/Tools/isac/Doc
     3 test