mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-24 10:33:22 +03:00
language server: change +* to |$
This old use of +* was deprecated by |$
This commit is contained in:
parent
7940dd442b
commit
3c431baf4b
@ -3,7 +3,8 @@
|
||||
::
|
||||
=/ debug |
|
||||
|%
|
||||
+* option [item]
|
||||
++ option
|
||||
|$ [item]
|
||||
[term=cord detail=item]
|
||||
::
|
||||
:: Like +rose except also produces line number
|
||||
|
Loading…
Reference in New Issue
Block a user