Forked from
David Hamelin / jscoq-light
66 commits behind the upstream repository.
-
Emilio Jesus Gallego Arias authored- don't rebuild the cli stuff when the frontend/backend changes - make tests work again
Unverified47410de7
- don't rebuild the cli stuff when the frontend/backend changes - make tests work again