vscode
vscoqは3年前から更新されていないvscoqのバージョンを1.32くらいに下げると動くが、自動更新まわりの設定とか使い分けるのとかめんどいよく見ると↓に移動したらしいので入れてみたら動いたgithub.com Requirements node Installation git clone https://git…
vscoqは3年前から更新されていないvscoqのバージョンを1.32くらいに下げると動くが、自動更新まわりの設定とか使い分けるのとかめんどいよく見ると↓に移動したらしいので入れてみたら動いたgithub.com Requirements node Installation git clone https://git…