aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2022-01-07 10:16:06 -0800
committerJohn MacFarlane <[email protected]>2022-01-07 10:18:40 -0800
commit09f2d8641f68205975d153f552a016fecccb10c1 (patch)
treeb514a2c44450b91722786b1f68c8258a24fb8b58 /.gitignore
parent90e74c2b76b9c7a31c63fc90f053453f5889bd66 (diff)
Fix gitignore wildcards to use `**`.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore31
1 files changed, 16 insertions, 15 deletions
diff --git a/.gitignore b/.gitignore
index 710b6774d..81bd5106f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,8 @@
*
-!.circleci/*
+!.circleci/**
!.editorconfig
!.gitattributes
-!.github/*
+!.github/**
!.gitignore
!.hlint.yaml
!.mailmap
@@ -27,16 +27,17 @@
!release.nix
!shell.nix
!stack.yaml
-!app/*
-!benchmark/*
-!citeproc/*
-!data/*
-!doc/*
-!linux/*
-!macos/*
-!man/*
-!src/*
-!test/*
-!tools/*
-!trypandoc/*
-!windows/*
+!app/**
+!benchmark/**
+!citeproc/**
+!data/**
+!doc/**
+!linux/**
+!macos/**
+!man/**
+!src/**
+!test/**
+!tools/**
+!trypandoc/**
+!windows/**
+*.bkp