Closed jwaldmann closed 2 years ago
... as it is in https://termcomp.github.io/Y2021/job_47878_47876.html (the "Filter" box)
Working prototype, we still need a way to remove the filter? (other that browser's "back" button, or hacking the URL)
... as it is in https://termcomp.github.io/Y2021/job_47878_47876.html (the "Filter" box)