summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2022-07-16 23:00:09 +0200
committertomsmeding <tom.smeding@gmail.com>2022-07-16 23:00:09 +0200
commit35a8d735cf66ac3a8867247b3f1a734af2add2ab (patch)
tree48750d56028ad39338e5cc69524b5b3deeceefaa /.gitignore
Initial
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..5870959
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+/ghc-boot-pkgdb/