# HG changeset patch # User Matti Hamalainen # Date 1536139841 -10800 # Node ID 17f635da5180b7fbb2c4e1890e17d9114a2e49f9 # Parent 6db5defacbb387f8ffb046de2e689d090440e934# Parent 2e077cfc4f38ce19e185c80516d23743443de448 Merge. diff -r 2e077cfc4f38 -r 17f635da5180 docompile.html --- a/docompile.html Tue Sep 04 19:24:59 2018 +0300 +++ b/docompile.html Wed Sep 05 12:30:41 2018 +0300 @@ -8,7 +8,7 @@