package.json.wacoq · a32f7527a901f10806a30b4343d9001d1c7489f3 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

3 years ago
a32f7527
[build] Set default backend to 'wa' in package `wacoq`. · a32f7527
Shachar Itzhaky authored 3 years ago
```
Quote escaping hell in this tiny `sed` script.
```
a32f7527

History
[build] Set default backend to 'wa' in package `wacoq`.
Shachar Itzhaky authored 3 years ago
```
Quote escaping hell in this tiny `sed` script.
```