Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
---|---|---|---|---|---|---|
use-local-jquery.diff | Use local copy of jQuery Using jQuery from a remote source is a potential privacy breach. This patch prevents fetching from remote sources by using a local copy of jQuery. |
Lev Lamberov <dogsleg@debian.org> | no | |||
no_extra_documentation.diff | Don't install extra documentation for core part of SWI-Prolog We don't need additional license and readme files in /usr/lib. |
Lev Lamberov <dogsleg@debian.org> | no | |||
disable_http_proxy_test.diff | Disable http_proxy test This patch disables http_proxy test. This test fails without proper public network. |
Lev Lamberov <dogsleg@debian.org> | no |