From dbfaa4a514fd70297d4a415ce2b6b46b3f6836a0 Mon Sep 17 00:00:00 2001
From: Christopher Goes <cwgoes@pluranimity.org>
Date: Thu, 3 Jan 2019 03:22:34 +0100
Subject: [PATCH] Add devtools-stamp to .gitignore (#3215)

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 2f4220999a..7c34ea3697 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ examples/build/*
 docs/_build
 docs/tutorial
 dist
+devtools-stamp
 
 # Data - ideally these don't exist
 examples/basecoin/app/data