Fix inadvertently ignored home/bin
authorSiraaj Khandkar <siraaj@khandkar.net>
Mon, 4 May 2020 20:26:26 +0000 (16:26 -0400)
committerSiraaj Khandkar <siraaj@khandkar.net>
Mon, 4 May 2020 20:26:26 +0000 (16:26 -0400)
.gitignore

index 5041b40..639d364 100644 (file)
@@ -1,3 +1,8 @@
+#
+
 bin/
+# TODO: Special-case negation feels kludgie - think of something cleaner.
+!home/bin
+
 deps/*/data
 debfiles/
This page took 0.028985 seconds and 4 git commands to generate.