diff options
| author | Mariano Guerra <[email protected]> | 2016-10-24 15:03:51 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 87ff047316d0cb220705fa40cd34693ef3600db2 (patch) | |
| tree | d6e62a18f5d5c6eca93306425d5c656f26dd80b7 /lib/jinterface/doc | |
| parent | b319bfc46f636dd3c2ebe22be21b3e66640a0ca5 (diff) | |
| download | otp-87ff047316d0cb220705fa40cd34693ef3600db2.tar.gz otp-87ff047316d0cb220705fa40cd34693ef3600db2.tar.bz2 otp-87ff047316d0cb220705fa40cd34693ef3600db2.zip | |
set default font size
Diffstat (limited to 'lib/jinterface/doc')
0 files changed, 0 insertions, 0 deletions