master
Hernâni Marques 4 years ago
parent 0b8980a7da
commit 7dc1e01764

@ -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

Loading…
Cancel
Save