path: root/pcal

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