summaryrefslogtreecommitdiff
path: root/paper
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-16 12:40:32 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-16 12:40:32 +0200
commit37882ddb65ba010c060afb799b31f39684da9b1f (patch)
tree33865b298d6135b199bbef48247b8f791933c312 /paper
parentc7a948f57d1bea6c58e4451b948d3c400edf0007 (diff)
Export rules in a JSON file for CodeQ
Diffstat (limited to 'paper')
0 files changed, 0 insertions, 0 deletions