index.html · 392d0531f2f494ce33412622513518db0452e2e7 · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

Source project has a limited visibility.

3 years ago
392d0531
[bugfix] Zulip link restored. · 392d0531
Shachar Itzhaky authored 3 years ago
```
Keyboard slip caused it to revert to the old Gitter url.
```
392d0531

History
[bugfix] Zulip link restored.
Shachar Itzhaky authored 3 years ago
```
Keyboard slip caused it to revert to the old Gitter url.
```