diff options
| author | wn_ <[email protected]> | 2023-03-05 15:30:09 +0000 |
|---|---|---|
| committer | wn_ <[email protected]> | 2023-03-05 15:30:12 +0000 |
| commit | 42b287e9646c61f4f62b3d44c5ab6897c4c6bf06 (patch) | |
| tree | 1f2861612f4ff5d08355e1b4d593c3fa2452f759 /backend.php | |
| parent | dabb85c7dd82d2e97e400e0339d312030d4a1b4b (diff) | |
Remove unused 'Prefs::_delete()'.
Related to dabb85c7dd82d2e97e400e0339d312030d4a1b4b.
Diffstat (limited to 'backend.php')
0 files changed, 0 insertions, 0 deletions