|
config
|
Fix #3804: rename TANGLE -> __TANGLE
|
2020-08-22 03:37:14 -04:00 |
|
lang
|
lang/cc: revise prerequisites in readme
|
2020-08-21 23:18:01 -04:00 |
|
tools
|
tools/lsp: minor refactor & doc revision
|
2020-08-22 15:34:52 -04:00 |
|
ui
|
Fix #3765: larger window dividers in writeroom-mode
|
2020-08-21 22:16:39 -04:00 |