# HG changeset patch # User fmercuri # Date 1624637037 0 # Node ID 0e7f3bea714ab16b7861b5aa78c8b252cd87865b # Parent 770be7b8dddd7980cd2d30880b3a339cf4dc4fd3 Uploaded diff -r 770be7b8dddd -r 0e7f3bea714a editconf.xml --- a/editconf.xml Fri Jun 25 15:55:00 2021 +0000 +++ b/editconf.xml Fri Jun 25 16:03:57 2021 +0000 @@ -51,7 +51,7 @@ - +