From 7dc1e01764309b979fbc52f00d86d25bc52d9747 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hern=C3=A2ni=20Marques?= <hernani@pep.foundation>
Date: Sat, 29 Jun 2019 01:34:36 +0200
Subject: [PATCH] Dito

---
 README.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.txt b/README.txt
index f054868c..d0e81fef 100644
--- a/README.txt
+++ b/README.txt
@@ -89,8 +89,8 @@ Most important commands:
 * Upload local changes to repository 
 
   Important: To avoid conflicts, _always_ update the local directories
-  to latest repository state (see commands in last bullet point)
-  *before* doing a commit!
+  to the latest repository state (see commands in last bullet point)
+  _before_ doing a commit!
 
   1) hg commit -m "<Changelog, short description of changes>" [ <filename> ]
   2) hg push