plclub/metalib — pull request #1 by sstrickl (2013-04-11 22:45:08+00:00)
Title: Add a .gitignore for generated files in top directory

Currently, .glob and .vo files are not ignored, which means that running make results in a dirty repository state. This fixes that issue.