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

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