diff options
| author | Santos Gallegos <stsewd@protonmail.com> | 2020-09-16 18:59:37 -0500 |
|---|---|---|
| committer | Stephan Seitz <stephan.lauf@yahoo.de> | 2020-09-17 09:18:05 +0200 |
| commit | 68d8f4c02e4e0ed288a296607cc0abe2d3a01ab9 (patch) | |
| tree | ed82abe24b6b0b721d13195f44272308cc869ab2 /queries/ocaml | |
| parent | 73a82638a5afbd3d5894f91c33ba0f71caa04c39 (diff) | |
Remove @definition.doc captures
These aren't really definitions and are being show in the definitions
list. We aren't using them at the moment, we could use another group or
query file.
Diffstat (limited to 'queries/ocaml')
0 files changed, 0 insertions, 0 deletions