Mercurial > evolve
diff docs/obs-terms.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 | ec4167ac79ab |
children | 07ce6c063c61 |