aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorHugo van der Wijst <hvanderwijst@tesla.com>2019-01-16 17:36:55 -0800
committerJorge Aparicio <jorge@japaric.io>2019-02-16 00:23:01 +0100
commitbe8a5e89b8c5763dc691bb748ba1da73a56cb2cc (patch)
tree841cc45a9bdadbcaec19a5cac984aa9696f02f2d /.gitignore
parent4f193df0efbd45d5d86eccb472fc2312aec3ca94 (diff)
Make identifiers deterministic.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 0c0491e..7405f86 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@
/book/*/book
/target
Cargo.lock
+*.hex