chiark / gitweb /
git/gitignore: Ignore toplevel `p/' and `p.*/' directories.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 15 May 2018 13:44:55 +0000 (14:44 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 20 May 2018 19:12:53 +0000 (20:12 +0100)
They're for patchbombs intended to go upstream.

git/gitignore

index 7df077e078d4ac95f365a38a1974c69ad8db5d41..e25ff118f2d49c12f519692bd1f38e98f87e5711 100644 (file)
@@ -26,3 +26,5 @@ GTAGS
 /build/
 /build.*/
 /dist-*/
+/p/
+/p.*/