Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
Isabelle_DOF/Isabelle_DOF/etc
History
Achim D. Brucker 233079ef5f
ci/woodpecker/push/build Pipeline was successful Details
Fixed scala build. 		2023-02-26 21:55:29 +00:00
..
build.props Fixed scala build. 2023-02-26 21:55:29 +00:00