aboutsummaryrefslogtreecommitdiff
path: root/filters/ci-jenkins.sh
AgeCommit message (Expand)Author
2026-07-30ui-ci: let a ci-filter decide whether the tab is shownGravatar Saya Andy
generated by cgitext v1.3.1+13 (git 2.54.0) at 2026-08-20 14:44:15 +0000