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

isabelle: add # No zap stanza required

Browse Source 
Signed-off-by: Rui Chen <rui@chenrui.dev>
This commit is contained in:
Rui Chen
2023-09-12 20:49:38 -04:00
parent c170a9d3a9
commit 27ef24aeea
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