index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
/
bin
/
bvd
blob: 49f7a3d0b11a1e1a68208271370fccf33533e0f3 (
plain
)
1
2
#!/bin/sh exec /usr/bin/cli /usr/lib/boogie/BVD.exe "$@"