Summary of changes: 80720e7... Initial import (*) 7093d98... Update .gitignore with new sources (*) 92bf3c7... Update .gitignore with new sources...properly (*) (*) This commit already existed in another branch; no separate mail sent