diff options
| author | hackademix <giorgio@maone.net> | 2019-02-22 00:41:05 +0100 |
|---|---|---|
| committer | hackademix <giorgio@maone.net> | 2019-02-22 00:41:05 +0100 |
| commit | 14bed707e5c9891d4502e276a757bbef014e6b4e (patch) | |
| tree | 150bb2f74321dd7892571b1729003cb2fac93de3 /docs/man.texi | |
| parent | 85e1e6c19cc8dc847417d25b0f720788ad31653c (diff) | |
Deduplicate inline scripts and provide widgets to show them in main UI.
Diffstat (limited to 'docs/man.texi')
0 files changed, 0 insertions, 0 deletions