diff options
| author | Gaëtan Gilbert | 2017-06-21 16:48:38 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-08-01 19:26:33 +0200 |
| commit | 6f1e5ff85d736b80a6d3490a21a30c8d37ea18de (patch) | |
| tree | 4d54b9ac1f14c161156c8c0d78066f10302e92ab /dev/v8-syntax | |
| parent | 6c7b8057a2baa27d3f420e199df354c22466c783 (diff) | |
Add .v extension to dev/doc/notes-on-conversion
This gives syntax highlighting in Coq-aware editors.
Diffstat (limited to 'dev/v8-syntax')
0 files changed, 0 insertions, 0 deletions