mirror of
https://github.com/extrawurst/gitui.git
synced 2024-11-30 11:46:20 +03:00
dad8e8d43d
since it does not support hard-whitespaces its the only way to make whitespaces consisitent and checked |
||
---|---|---|
.. | ||
launch.json | ||
settings.json |