[issue9288] Disambiguate :option: and :cmdoption:

[Éric Araujo]

Changes by Éric Araujo <merwok at netwok.org>:


Removed file: http://bugs.python.org/file18046/improve-check.diff

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue9288>
_______________________________________