diff options
| author | erdgeist <erdgeist@erdgeist.org> | 2026-08-14 16:35:02 +0200 |
|---|---|---|
| committer | erdgeist <erdgeist@erdgeist.org> | 2026-08-14 16:35:02 +0200 |
| commit | b282797767e6980ebad340e352bef4b0552c150d (patch) | |
| tree | ce0c56245a76b8d15142fb7bd70489aacd47d844 /app/views/search | |
| parent | dcdc892d940adffced3d2bc272d813a47c7d4700 (diff) | |
Move the revision picker into admin_interface.js
Diffstat (limited to 'app/views/search')
0 files changed, 0 insertions, 0 deletions