diff options
| author | Théo Zimmermann | 2019-02-13 21:07:35 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-13 21:07:35 +0100 |
| commit | e83f3121c07f3f942410fdf4123a8aa017c9a007 (patch) | |
| tree | 5fb34a8af7470039cc5b86bece4678583de8d3f9 /plugins/syntax | |
| parent | 6d71db62424b942991d967dfaced75fb886fa2d8 (diff) | |
Suggest asking on Discourse or Gitter.
Co-authored-by: Emilio Jesus Gallego Arias <e+git@x80.org>
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions