Merge remote-tracking branch 'origin/ghini-1.0-dev' into ghini-1.0-dev

Ghini · Aug 16, 2017 · 74b335f · 74b335f
2 parents 91f69f7 + 7c0a713
commit 74b335f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/not_to_be_translated.txt b/doc/not_to_be_translated.txt
@@ -68,3 +68,7 @@
 ^'016489'$
 ^``genus where notes.note=Laeliinae``$
 ^``sudo adduser mlopez``$
+^`devinstall.bat <https://raw.githubusercontent.com/Ghini/ghini.desktop/ghini-1.0-dev/scripts/devinstall.bat>`_$
+^source-type$
+^source-detail$
+^factura$