mirror of https://gitee.com/bigwinds/arangodb
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
This commit is contained in:
commit
58f14e6bf6
|
@ -165,7 +165,7 @@ def fetch_comments(dirpath):
|
|||
for _com in comment:
|
||||
_text = re.sub(r"//(/)+\s*\n", "<br />", _com)
|
||||
_text = re.sub(r"///+(\s+\s+)([-\*\d])", r" \2", _text)
|
||||
_text = re.sub(r"///\s*", "", _text)
|
||||
_text = re.sub(r"///\s", "", _text)
|
||||
_text = _text.strip("\n")
|
||||
if _text:
|
||||
if not shouldIgnoreLine:
|
||||
|
|
Loading…
Reference in New Issue