3 Commits

Author	SHA1	Message	Date
Florian Bruhin	eeb830e040	travis: Ignore doc changes when building a PR ... Fixes #1441	2016-04-20 22:35:02 +02:00
Florian Bruhin	0eb12b8fa0	Fix spelling	2016-03-16 06:23:39 +01:00
Florian Bruhin	07d31634c6	Add script to check for doc changes	2016-03-15 22:43:47 +01:00