ROOTS
author wneuper <Walther.Neuper@jku.at>
Wed, 11 Jan 2023 11:38:01 +0100
changeset 60650 06ec8abfd3bc
parent 60217 1d9fee958a46
permissions -rw-r--r--
eliminate use of Thy_Info 12: TermC partially
wenzelm@60215
     1
src/Tools/isac
wenzelm@60215
     2
src/Tools/isac/Doc
wenzelm@60217
     3
test