summarylogtreecommitdiffstats
path: root/tlc
blob: f937d677334333437c9fe7c39d30f8e98b88bede (plain) 
1
2

#!/bin/sh
exec tla-tools tlc2.TLC "$@"