diff options
author | David Wosnitza <david@druul.in> | 2014-12-14 09:48:47 +0100 |
---|---|---|
committer | David Wosnitza <david@druul.in> | 2014-12-14 09:48:47 +0100 |
commit | 4455b88ce2882876e97ff0b18fba740ea7c32532 (patch) | |
tree | 8a6ab355338a02bf8c29b0d82ff180ad6f334771 /user_guide_src/source/libraries/benchmark.rst | |
parent | 5953045c920dc57da1b319b68b07b2db4c054763 (diff) |
increased top and bottom margins for printing
Signed-off-by: David Wosnitza <david@druul.in>
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions