Revision f6eb6778c02d379b7ff10545153c80fd35fc9c44

Committed on 15/11/2017 2:16 am by Jacek Foremski <jacek.foremski@gmail.com> [GitHub Diff]

Initialize the repository