From fda8ff7cc4ee054dd159deccb1f73eeef74397da Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 10 Jul 2016 10:43:52 +0200
Subject: [PATCH] ignore

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

diff --git a/.gitignore b/.gitignore
index 9a2a8654..f7ea23e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@
 /boot.mes
 /mes
 /mes.h
+/environment.i