summarylogtreecommitdiffstats
path: root/key.sh
blob: 9731558e834dae60e1b7af92da5dcd53230fcf65 (plain) 
1
2
3

#!/bin/bash

java -jar /usr/share/java/key/KeY.jar "$@"