aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJorge Aparicio <japaricious@gmail.com>2017-04-09 22:42:17 -0500
committerJorge Aparicio <japaricious@gmail.com>2017-04-09 22:42:17 -0500
commit595404c5ffc37ce95ffb2b6999ab85e6818bfa50 (patch)
tree43688c0818f2af6fdb37ce2e3f29dd7f0ccb898b /.gitignore
parent6ac2625a75fc73b5cb846cd3d60422976f8946fc (diff)
compile time verified ceilings
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index a9d37c5..6dc3db1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
-target
+**/*.rs.bk
Cargo.lock
+target/