other minor tweaks - doc generation should still be broken
authorparmentelat <thierry.parmentelat@inria.fr>
Sun, 20 May 2018 12:40:59 +0000 (14:40 +0200)
committerparmentelat <thierry.parmentelat@inria.fr>
Sun, 20 May 2018 12:40:59 +0000 (14:40 +0200)
commitbe1560a0ece794e0f047e6e3c18d4b78ec746b15
tree1523ebfa6a85237dd0b02f02a60e4f41c8861317
parent1f446bdabf02495a849c8c8d2d5ef6d2eea491af
other minor tweaks - doc generation should still be broken
PLC/Methods/__init__.py
doc/DocBookLocal.py