# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1593104634 -7200
# Node ID 51d18d6bebd159446f0821120e72a3922997eb5a
# Parent  f12b568394961b6ae5fd2b3978d3cd81cc6917ad
cont

diff -r f12b56839496 -r 51d18d6bebd1 StoneWebViewer/Plugin/docker-internal.sh
--- a/StoneWebViewer/Plugin/docker-internal.sh	Thu Jun 25 18:33:02 2020 +0200
+++ b/StoneWebViewer/Plugin/docker-internal.sh	Thu Jun 25 19:03:54 2020 +0200
@@ -25,3 +25,4 @@
       -G Ninja
 
 ninja -j2 install
+