commit bba56f6a536c34e858b1e78256e3209a5d27cd7e
Author: Karsten Loesing <[email protected]>
Date: Wed Aug 7 21:33:34 2019 +0200
Fix generated metrics-lib JavaDocs.
---
build.xml | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.xml b/build.xml
index b4a27e5..d8c0c07 100644
--- a/build.xml
+++ b/build.xml
@@ -210,6 +210,7 @@
dir="${basedir}/src/submods/metrics-lib"
failonerror="true" >
<arg value="clean" />
+ <arg value="resolve" />
<arg value="docs" />
</exec>
</target>
_______________________________________________
tor-commits mailing list
[email protected]
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits
