Merge pull request #686 from aschackmull/java/rm-metrics-queries-xml

Java: Remove `Metrics/queries.xml`
This commit is contained in:
yh-semmle
2019-01-03 13:36:17 -05:00
committed by GitHub

View File

@@ -1 +0,0 @@
<queries language="java"/>