Mind4SE/mindoc — pull request #4 by StephaneSeyvoz (2014-04-07 11:54:40+00:00)
Title: Re-sync mainly for licence updates.

Other redundant commits are just the result of an hazardous merge (result is exactly the same though, I checked).