docs/README
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Fri, 31 Mar 2017 15:02:39 +0200
changeset 2257 7980ca5b1217
parent 161 4e3f25ba5401
child 2959 ef361938dfa1
permissions -rw-r--r--
checkheads: add a small debug message in case were we give up fast When node is unknown we assume it will stay. Yet, we might have markers to it that are going to be pushed. However, we do not have branch (ancestors) information unless we are very lucky an all of them are pruned. So for now we do not do anything assuming this will be rare. We still add a small debug message to help detecting such situation in the future.

doc generated with sphinx. tutorial exported using sphinxedhg

http://hg.piranha.org.ua/sphinxedhg/