Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
6 changed files
with
6 additions
and
6 deletions.
There are no files selected for viewing
Submodule coqtail
updated
4 files
+1 −1 | .github/workflows/coq-tests.yml | |
+6 −1 | CHANGELOG.md | |
+3 −2 | syntax/coq.vim | |
+11 −7 | tests/coq/test_coqtop.py |
Submodule ale
updated
from 712b4b to 6db58b
Submodule splitjoin
updated
2 files
+2 −2 | autoload/sj/coffee.vim | |
+9 −0 | ftplugin/snakemake/splitjoin.vim |