diff docs/test2rst.py @ 2507:de6c61462e67

obsdiscovery: factor the "do we push markers" check out This clarify the code a bit.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Tue, 30 May 2017 12:13:14 +0200
parents 94fe2cc9cd41
children 7608f1e04205
line wrap: on
line diff