removed 'devel' from gitignore