diff options
| author | Erik Martin-Dorel | 2020-04-16 18:25:05 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-04-17 08:23:25 +0200 |
| commit | 4849bb7d8c01770e60ff306994e3ef1e7d4a54f1 (patch) | |
| tree | 15df962280b800b418e951242102af29dd3889c2 /.github | |
| parent | 76943f911134863596eb5ca150f7b9c8051eac72 (diff) | |
feat: Add first version of coq-tests.el
TODO: Expand it using
- https://github.com/rejeep/ert-async.el
- and/or https://www.gnu.org/software/emacs/manual/html_node/ert/index.html
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions