git-ignore protege catalog files
Merge pull request #19 from sesuncedu/master

git-ignore protege catalog files