webui: add negative filtering in search results. resolves #7660 (#8048)

This commit is contained in:
Diego Heras
2020-04-05 23:12:15 +02:00
committed by GitHub
parent fe9671d309
commit f8595bf59e
2 changed files with 33 additions and 5 deletions

View File

@@ -691,6 +691,6 @@
</script>
<script type="text/javascript" src="../libs/api.js?changed=2017083001"></script>
<script type="text/javascript" src="../custom.js?changed=20200316"></script>
<script type="text/javascript" src="../custom.js?changed=20200420"></script>
</body>
</html>