summarylogtreecommitdiffstats
path: root/tla
blob: c389eb1714c281a116de0b381876ea36347c7a22 (plain) 
1
2

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