Differences
This shows you the differences between two versions of the page.
snippets:julia:start [2021/06/21 22:45] – created julia snippets getzze | snippets:julia:start [2021/06/21 22:48] (current) – mention REPL unicode getzze | ||
---|---|---|---|
Line 2: | Line 2: | ||
You have to modify your snippets file, e.g. in '' | You have to modify your snippets file, e.g. in '' | ||
- | You need to modify ' | + | |
+ | You need to modify ' | ||
<code properties> | <code properties> | ||
Line 8: | Line 9: | ||
</ | </ | ||
- | This allows entering snippets with the ' | + | This allows entering snippets with the ' |
You can add them to ' | You can add them to ' | ||