CVSROOT: /cvs Module name: ports Changes by: [email protected] 2023/02/18 06:16:13
Modified files:
math/prover9 : Makefile.inc
math/prover9/ladr: Makefile
Log message:
Move ladr to python3 using 2to3.
This is only for installed examples anyway.
