diff options
| author | hackademix <giorgio@maone.net> | 2018-07-29 17:35:50 +0200 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2018-07-29 17:35:50 +0200 |
| commit | 3dec5974112550595e8451666cb94b0690096542 (patch) | |
| tree | f10718d96461818ad2b574e45a1c9be8e7626161 /html/preferences_panel | |
| parent | 0f938f6dd25dbad9f7a25255c87ae95d3258d43a (diff) | |
Display actual extension version number in UI
Diffstat (limited to 'html/preferences_panel')
0 files changed, 0 insertions, 0 deletions