From 138a49bc600d2ece1fc8a00ad6acbef296190063 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 21:56:18 +0200
Subject: Remove run.py, add README

---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index ebd6f84..11ee9ea 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,4 @@ _minted-*/
 Clean System Files/
 dtmc
 
-__pycache__/
-
 *.drn
-- 
cgit v1.2.3