diff options
author | rsiddharth <rsd@gnu.org> | 2017-05-29 21:53:35 +0000 |
---|---|---|
committer | rsiddharth <rsd@gnu.org> | 2017-05-29 21:53:35 +0000 |
commit | 59b9d5c3c3ab0ef280e151dc21d201e911261ecc (patch) | |
tree | 938a85316086eb54056ece8469d6cfe80fd9056a /docs/conf.py | |
parent | cab6a8877c4d56799e42aed7c90dd29c8ed66310 (diff) |
lps_gen: Add LPSRenderer._check_session_title_exists.
* lps_gen.py (LPSRenderer._check_session_title_exists): New method.
(LPSRenderer.header, LPSRenderer.paragraph): Update methods.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions