diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-05-04 12:36:51 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-05-04 12:37:07 -0300 |
| commit | 89d87294dbc84df8dd7740cd04cc4842b8738e96 (patch) | |
| tree | 62d1015ed08cb12c6e57e6391d4f8cc9f32c355e /doc/tools/makedocs.py | |
| parent | 0fa5154c0af7895b0a5e11ff4899e12cc0cbbdd2 (diff) | |
ability to shrink all images x2 on load
this is for extreme cases when running on devices with very low video
memory, so you can still retain compatibility.
Diffstat (limited to 'doc/tools/makedocs.py')
0 files changed, 0 insertions, 0 deletions