2 Commits

Author	SHA1	Message	Date
wpetit	e4bb33e895	CI: only lint modified files	2018-09-26 12:08:29 +02:00
wpetit	1aa77c90ab	Add Jenkinsfile for continuous integration	2018-09-21 10:13:08 +02:00