summaryrefslogtreecommitdiff
path: root/tools/check-config-options.sh
Commit message (Expand)AuthorAgeFilesLines
* core: add checks on connection default propertiesBeniamino Galvani2018-12-011-4/+48
* build: check that the list of supported config options is up to dateBeniamino Galvani2018-12-011-0/+28