diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2023-12-01 15:54:39 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2023-12-01 15:54:39 +0100 |
| commit | 396c39bafd79b2f6fe6c2c052b802c7d18a3160d (patch) | |
| tree | e9c2cd79ebf01ba06f1e40cf8ddb801e0c89c081 /resources/templates/documents/.gitignore | |
| parent | dc743e2046c9e5d6354644adc842da1cde6546f8 (diff) | |
OCaml: tuareg, utop, and merlin modes.
Diffstat (limited to 'resources/templates/documents/.gitignore')
0 files changed, 0 insertions, 0 deletions