diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ed4d2b58f..f099e845e 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ !.circleci/** !.editorconfig !.gitattributes +!.github/** !.gitignore !.hlint.yaml !.mailmap @@ -34,6 +35,7 @@ !release.nix !shell.nix !stack.yaml +!weeder.dhall !app/** !benchmark/** !citeproc/** @@ -42,6 +44,8 @@ !linux/** !macos/** !man/** +!pandoc-server/** +!pandoc-cli/** !src/** !test/** !tools/** |
