diff options
author | David Wosnitza <david@druul.in> | 2014-12-14 10:44:39 +0100 |
---|---|---|
committer | David Wosnitza <david@druul.in> | 2014-12-14 10:44:39 +0100 |
commit | 71b93b34a678e607e1935f5185836664056a3ccc (patch) | |
tree | 1b3b9cc57f51fce9060b8629b6e638c1681d87ff /user_guide_src/source/conf.py | |
parent | 4455b88ce2882876e97ff0b18fba740ea7c32532 (diff) |
increased bottom margin
Signed-off-by: David Wosnitza <david@druul.in>
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions