Merge: no_warning: modules without a module clause do not cause `missing-doc`
authorJean Privat <jean@pryen.org>
Mon, 5 Jan 2015 16:14:53 +0000 (11:14 -0500)
committerJean Privat <jean@pryen.org>
Mon, 5 Jan 2015 16:14:53 +0000 (11:14 -0500)
Rationale: the presence of a `module` clause is a good heuristic to
discriminate quick and dirty prototypes from nice and clean modules

Pull-Request: #1078
Reviewed-by: Alexis Laferrière <alexis.laf@xymus.net>
Reviewed-by: Romain Chanoir <chanoir.romain@courrier.uqam.ca>


Trivial merge