3 Commits

Author	SHA1	Message	Date
Laurent Rineau	42b11ddf29	Revert the merge of PR #2478 ... This reverts the merge commit 46cc91e787 onto 488c3e2879.	2018-01-04 17:54:08 +01:00
Laurent Rineau	984b021574	Improve check_headers.sh, and fix the errors	2017-09-04 16:06:51 +02:00
Maxime Gimeno	1c1999411b	Update test_merge_branch to check if all the documentation headers actually exist.	2017-02-01 10:52:28 +01:00