Mercurial > evolve
diff docs/user-guide.rst @ 2056:b96ca1b51e04
push: exit obsexchange early if disabled
We were exiting the function later, in particular -after- issuing a message
about exchanging obsmarkers.
author | Pierre-Yves David <pierre-yves.david@ens-lyon.org> |
---|---|
date | Tue, 07 Mar 2017 14:45:02 +0100 |
parents | 0683e3030316 |
children | 83d2c9637e89 |