search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
170 stars 41 forks source link

[ fix ] Revert "Bump tar from 6.1.8 to 6.1.11" #65

Closed banacorn closed 3 years ago

banacorn commented 3 years ago

Reverts banacorn/agda-mode-vscode#64