Upgrade to dossier 0.7.2

GDowning · Oct 18, 2015 · 24ea2c3 · 24ea2c3
1 parent 1da3850
commit 24ea2c3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/javascript/node/deploy.js b/javascript/node/deploy.js
@@ -410,7 +410,7 @@ function generateDocs(outputDir, callback) {
 
   var command = [
       'java -jar', path.join(
-          __dirname, '../../third_party/java/dossier/dossier-0.7.1.jar'),
+          __dirname, '../../third_party/java/dossier/dossier-0.7.2.jar'),
       '-c', configFile
   ].join(' ');
   child_process.exec(command, callback);

diff --git a/third_party/java/dossier/dossier-0.7.1.jar → third_party/java/dossier/dossier-0.7.2.jar b/third_party/java/dossier/dossier-0.7.1.jar → third_party/java/dossier/dossier-0.7.2.jar