explain what we want and what not in .gitignore

RalfJung · RalfJung · commit b9978e922054 · 2019-08-08T08:49:58.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,7 @@
+# This file should only ignore things that are generatd during a build,
+# generated by common IDEs, and optional files controlled by the user
+# that affect the build (such as config.toml).
+# FIXME: This needs cleanup.
 *~
 .#*
 .DS_Store
