ui-js/coq-manager.js · c7095b353fbeafc67436a751a887ba46cf0d711b · Pierre Rousselin / jscoq-light · GitLab

Snippets Groups Projects

Forked from David Hamelin / jscoq-light

416 commits behind the upstream repository.

3 years ago
5df75f78
[ui] Light switch flare! · 5df75f78
Shachar Itzhaky authored 3 years ago
```
Moved all settings panel css to a separate file.
```
5df75f78

History
[ui] Light switch flare!
Shachar Itzhaky authored 3 years ago
```
Moved all settings panel css to a separate file.
```

coq-manager.js 50.11 KiB