diff options
| author | Mariano Guerra <[email protected]> | 2016-10-21 16:42:40 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | b234f1de2c8eaba384b30014f01cfc8d58b096bd (patch) | |
| tree | 988d41f273adecf5c628b7d33f5ebb2534bcae68 /lib/tools | |
| parent | 224a1977ac4efc77078adc8490a396805a3dd270 (diff) | |
| download | otp-b234f1de2c8eaba384b30014f01cfc8d58b096bd.tar.gz otp-b234f1de2c8eaba384b30014f01cfc8d58b096bd.tar.bz2 otp-b234f1de2c8eaba384b30014f01cfc8d58b096bd.zip | |
improve left panel section info and menu
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions