cmd
|
Rework client quitting and handling of remote errors
|
2016-09-04 17:56:07 +01:00 |
display
|
Fix tests after changes to json_ui output
|
2018-04-29 23:06:24 +10:00 |
patch
|
Change client default name: "unnamed0" → "client0"
|
2018-04-23 11:42:11 +02:00 |
rc
|
Move highlighters into Scopes
|
2017-10-28 13:43:04 +08:00 |