Make repository file list useable on mobile#19515

Merged

6543 merged 11 commits intogo-gitea:mainfrom

Gusted:better-repo-list

Apr 28, 2022

Commits on Apr 26, 2022

Commits on Apr 27, 2022

Simplify code
Gusted
committed
Merge branch 'main' into better-repo-list
Gusted
authored

Commits on Apr 28, 2022