tsconfig.json · b6af20adf5c767c3eccd7df4ded29320d33a8ea8 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

3 years ago
b6af20ad
[refactor] [build] Shuffled things around in Makefile. · b6af20ad
Shachar Itzhaky authored 3 years ago
```
So that we can create both jsCoq and waCoq packages.
```
b6af20ad

History
[refactor] [build] Shuffled things around in Makefile.
Shachar Itzhaky authored 3 years ago
```
So that we can create both jsCoq and waCoq packages.
```