summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGeorge Steel <george.steel@gmail.com>2022-11-17 01:51:33 -0500
committerGeorge Steel <george.steel@gmail.com>2022-11-17 01:51:33 -0500
commit08581d7eae58f08af6bc57fdc9a69e47f1f8768b (patch)
tree2711015a4556a6afe352d327d749068d4ec55bba /.gitignore
parente2ab19d92fbad798ff8a785646ce7aaddc36abaa (diff)
Make pull-compensation and insets per-side
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index a64cb5ed..e6dca05c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,4 @@ locales/
/PROFILE
/profile_stats
/profile_stats.prof
+/.vscode