Thu, 26 Jan 2017 17:28:12 +0200 Improve company-mode integration for shell mode.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 26 Jan 2017 17:28:12 +0200] rev 1461
Improve company-mode integration for shell mode.
Thu, 26 Jan 2017 17:27:01 +0200 Enable company mode for shell scripts.
Oleksandr Gavenko <gavenkoa@gmail.com> [Thu, 26 Jan 2017 17:27:01 +0200] rev 1460
Enable company mode for shell scripts.
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip