first insertion of GIT ChangeLog, with git log --pretty=%ci%h'     '%cn%n%n'      '*%B > ChangeLog
Revert "first insertion of GIT ChangeLog, with git log --pretty=%ci%h'     '%cn%n%n'      '*%B > ChangeLog"

This reverts commit 6bc0a56d62f1c846db2760ea7a7f75f1a0750390.