etc/adopt-addons · 32f4d98be332d398f3da61109d9a906ac82f6e91 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

3 years ago
617b16cb
[dev] Support easy testing of addons for wacoq as well. · 617b16cb
Shachar Itzhaky authored 3 years ago
```
The script has been renamed `adopt-addons`, because "consume"
sounds a bit harsh.
```
617b16cb

History
[dev] Support easy testing of addons for wacoq as well.
Shachar Itzhaky authored 3 years ago
```
The script has been renamed `adopt-addons`, because "consume"
sounds a bit harsh.
```