diff -r 371ffadc1a36 -r 42896123bb28 befehle.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/befehle.txt	Tue Sep 16 21:51:50 2008 +0200
@@ -0,0 +1,5 @@
+Pour cloner un dépôt privé:
+  $ hg clone https://user@hg.domain.tld/depotprive
+
+Pour mettre à jour ce même dépôt:
+  $ hg push https://user@hg.domain.tld/depotprive