diff options
| author | Mauro Carvalho Chehab <[email protected]> | 2016-07-07 06:27:54 -0300 |
|---|---|---|
| committer | Mauro Carvalho Chehab <[email protected]> | 2016-07-07 06:36:46 -0300 |
| commit | 6fe79d1edea4861d7453915e596cc39a83ddc683 (patch) | |
| tree | 826eb5848c2d03696941e9ebed5f63e935cb33a0 /tools/perf/scripts/python/call-graph-from-postgresql.py | |
| parent | 1ae6439538082f2be3e82364ffd85a05271cb832 (diff) | |
doc-rst: parse-headers: improve delimiters to detect symbols
As we had to escape the symbols for the ReST markup to not do
the wrong thing, the logic to discover start/end of strings
are not trivial. Improve the end delimiter detection, in order
to highlight more occurrences of the strings.
Signed-off-by: Mauro Carvalho Chehab <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/call-graph-from-postgresql.py')
0 files changed, 0 insertions, 0 deletions