diff options
| author | jdhao <jdhao@hotmail.com> | 2019-12-20 11:45:34 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-20 11:45:34 +0800 |
| commit | 37498210bac226026232f39a20f8b77978d93aea (patch) | |
| tree | 049fc1c4532223e64dab0477e3626c13835cdb74 | |
| parent | 1d3b488e7a82c3c50f519d74585365bf9a7583e5 (diff) | |
Update all.snippets
| -rw-r--r-- | my_snippets/all.snippets | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/my_snippets/all.snippets b/my_snippets/all.snippets index edb92f4..8a8438e 100644 --- a/my_snippets/all.snippets +++ b/my_snippets/all.snippets @@ -1,3 +1,7 @@ snippet ltx "LaTeX symbol" LaTeX endsnippet + +snippet arw "Right-pointed arrow" +--> +endsnippet |