web/repo: the sidebar's file filter is in a page's html from its first frame, hidden only without js

by dawn
+1

Signed-off-by: dawn <dawn@tangled.org>

1ba2505b parent 99606b3e +9 −4
browse files
unifiedsplit