From 11fdecb8cc7e062995267d9abfcfd714f52cad9e Mon Sep 17 00:00:00 2001
From: Adhityaa <c.adhityaa@gmail.com>
Date: Sun, 3 Jun 2018 16:43:40 +0530
Subject: [PATCH] .gitignore: permanently set in devel.env

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

diff --git a/.gitignore b/.gitignore
index 378eac2..dd9dd8a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 build
+devel.env