dot/gitconfig.in: Push the current branch only by default.
[profile] / .gitignore
index ad53eb8..60f194f 100644 (file)
@@ -1 +1,2 @@
 /local.mk
+/out/