summarylogtreecommitdiffstats
path: root/launcher
blob: 525a7178b877983c569d5c6fbadf2f8637dd0218 (plain) 
1
2
3

#!/usr/bin/env sh

java -jar /usr/lib/key-logic/KeY.jar