diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-01-22 20:19:57 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-01-22 20:19:57 -0300 |
| commit | dfbc2dce177462506d9c41dfaa867dd76bd136a7 (patch) | |
| tree | 64f03033857a052ff3f74cd01f314c9347568ef7 /doc/tools/main.css | |
| parent | fe46f0d2b2292f1cab1135b753acdeba3aa0aa38 (diff) | |
-Improved tab visibility, fixes #3314
Diffstat (limited to 'doc/tools/main.css')
0 files changed, 0 insertions, 0 deletions