Revision 62e7397941117c8448db853ead350a580db0e61f

Committed on 18/11/2011 9:19 am by Bertrand Dunogier <bd@ez.no> [GitHub Diff]

.gitignore: +completion.log