webpack.config.js · 059c2d4c25662d7c72511fa2c0f06a57509e91b4 · Pierre Rousselin / jscoq-light

Source project has a limited visibility.

2 years ago

Shachar Itzhaky authored 2 years ago

Currently separate from the main cli, but for no good reason.
Should be a sub-command.

059c2d4c

Shachar Itzhaky authored 2 years ago

Currently separate from the main cli, but for no good reason.
Should be a sub-command.