waveterm/homebrew-cask
0
0
Fork 0
mirror of https://github.com/wavetermdev/homebrew-cask.git synced 2026-08-05 13:43:24 -07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #155014 from chenrui333/isabelle-zap-stanza

Browse Source 
isabelle: add `# No zap stanza required`
This commit is contained in:
Razvan Azamfirei
2023-09-12 20:59:37 -04:00
committed by GitHub
parent c170a9d3a9 27ef24aeea
commit bf240fd241
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Casks/i/isabelle.rb
+2
View File
@@ -14,4 +14,6 @@ cask "isabelle" do
app "Isabelle#{version}.app"
binary "#{appdir}/Isabelle#{version}.app/bin/isabelle"
# No zap stanza required
end