mindboards/ev3dev-kernel — pull request #6 by dlech (2013-11-27 19:51:52+00:00)
Title: delete generated files

There are a bunch of generated files that are supposed to be ignored by .gitignore, but they sneaked into the repo anyway.