1. 256949a GIT: add .gitignore to ignore the generated doc/ directory by Luka Perkov ยท 9 years ago