summarylogtreecommitdiffstats
path: root/openjml.sh
blob: f5799a0de2ac67b6dbbfd1eaeaa9724a5521ebde (plain) 
1
2
3

#!/bin/bash

java -jar /usr/share/java/openjml/openjml.jar "$@"