debian/source/options
author Philippe Pepiot <ph@itsalwaysdns.eu>
Tue, 31 Mar 2020 18:12:20 +0200
changeset 12965 a6d19bc7fed3
parent 12718 cc55093cc86d
permissions -rw-r--r--
[server] Enhance connections-pooler-enabled documentation

extend-diff-ignore = "^(__pkginfo__\.py$|doc/_themes/cubicweb/static/(logo-cubicweb-small\.svg|cubicweb\.ico|logo-cubicweb\.svg)$|cubicweb\.spec$|setup\.cfg$|cubicweb/misc/cwfs)"