summarylogtreecommitdiffstats
path: root/key.sh
blob: 0466603c14393191f5ca9f962b35ed7aeff06eee (plain) 
1
2
3
4

#!/bin/bash

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