itssoap/ScoopInstaller_Main
1
0
Fork 0
mirror of https://github.com/ScoopInstaller/Main.git synced 2026-02-03 02:24:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

dafny: Remove DafnyLanguageServer bin (#5867)

Browse Source
This commit is contained in:
Natsu 2024-05-31 02:23:34 +08:00 committed by GitHub
parent 32d5094f90
commit 49dec36516
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
bucket/dafny.json
View File

@ -12,7 +12,6 @@
},
"bin": [
"Dafny.exe",
"DafnyLanguageServer.exe",
"DafnyServer.exe"
],
"checkver": {