Commit df9208df999b8bc9de43f325b56e582f697edef9

Bruno Haible 2016-12-15T03:59:48

Add a .gitignore file.