diff options
| author | Emilio Jesus Gallego Arias | 2020-06-23 23:07:04 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-26 14:38:13 +0200 |
| commit | 4ad9fa2b257184f9955216fc8345508c217c762d (patch) | |
| tree | 30d0b141653fbd6340535246420febbb44dc7f39 /plugins | |
| parent | d9dca86f798ce11861f1a4715763cad1aae28e5a (diff) | |
[declare] Some more cleanup on unused functions after the last commits.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions