chiark / gitweb /
hooks: add new jenkins scripts to syntax checker