Page MenuHomeGitPull.it

Add a realtime search box for the Archive page
Closed, ResolvedPublic

Description

Add a realtime search box for the Archive page.

Implementation

Screenshot_20210722_174336.png (702×1 px, 78 KB)

Revisions and Commits

Event Timeline

valerio.bozzolan created this task.
valerio.bozzolan closed this task as Resolved by committing Restricted Diffusion Commit.Jul 22 2021, 17:44
valerio.bozzolan added a commit: Restricted Diffusion Commit.