diff options
| author | oberblastmeister | 2021-09-01 16:08:08 +0000 |
|---|---|---|
| committer | GitHub | 2021-09-01 16:08:08 +0000 |
| commit | 5766f5da8fc9e98320e7e765c47e701d72108028 (patch) | |
| tree | c65b2f9ca410983256a80509838fb28f0482a14f /.github | |
| parent | 825bceeab68276cdf120bda5d172b854867d8585 (diff) | |
OCaml support (#666)
* added some stuff
* add interface
* indent
* highlights and locals
* scope
* change some stuff
* add indents
* fix blanket highlight
* macro
* use inherits
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions