Skip to content

Ultra light

Pierre Rousselin requested to merge rousselin/jscoq-light:ultra-light into v8.17

Removed wacoq, examples, hastebin and some useless dependencies. TODO: more cleanup with the removal of wacoq

Merge request reports

Loading