Auto restart files with stale dependencies#776

samuela wants to merge 1 commit into

leanprover:masterleanprover/vscode-lean4:masterfrom

samuela:auto-restart-stale-dependenciessamuela/vscode-lean4:auto-restart-stale-dependenciesCopy head branch name to clipboard