OSDN Git Service

Merge pull request #2527 from VonC/gitignore
authorRiyad Preukschas <riyad@informatik.uni-bremen.de>
Wed, 9 Jan 2013 18:34:13 +0000 (10:34 -0800)
committerRiyad Preukschas <riyad@informatik.uni-bremen.de>
Wed, 9 Jan 2013 18:34:13 +0000 (10:34 -0800)
Update .gitignore


Trivial merge