Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authored- don't rebuild the cli stuff when the frontend/backend changes - make tests work again
Emilio Jesus Gallego Arias authored- don't rebuild the cli stuff when the frontend/backend changes - make tests work again