From 1b7df83ee2a27cd147c83f6eefa0253b0b3513d5 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 28 May 2020 23:51:15 +0200
Subject: [PATCH] Add sim/work to gitignore file

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

diff --git a/.gitignore b/.gitignore
index fc7b227..64478ee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 .DS_Store
 formal/work
 issues/work
+sim/work