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

#!/bin/sh
exec tla-tools tla2sany.SANY "$@"