summarylogtreecommitdiffstats
path: root/tla2sany
blob: 7b6595dddf291d60ed61cb96e84dc1ad2c857b4e (plain) 
1
2

#!/bin/sh
exec "$(dirname "$0")"/tla-tools tla2sany.SANY "$@"