Update sources and .gitignore
Michal Srb • 11 years ago