diff options
| author | wn_ <[email protected]> | 2023-03-05 20:03:35 +0000 |
|---|---|---|
| committer | wn_ <[email protected]> | 2023-03-05 20:06:48 +0000 |
| commit | c923fda8c9b0ddc141ab1c22b35cb984c2e30f48 (patch) | |
| tree | 662449d74584e54f0c3a058a93fe378c49512c0b /Jenkinsfile | |
| parent | fe08299ec46eb8df2988c788ced2c019743bee6a (diff) | |
Also use friendly names for special feed+cat IDs in the frontend.
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions