diff options
| author | Camil Staps | 2018-07-06 21:56:18 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 21:56:18 +0200 |
| commit | 138a49bc600d2ece1fc8a00ad6acbef296190063 (patch) | |
| tree | 189aee1d491874a5e9bf3cdc32e5dc092b2910e4 /.gitignore | |
| parent | Tsk tsk (diff) | |
Remove run.py, add README
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -17,6 +17,4 @@ _minted-*/ Clean System Files/ dtmc -__pycache__/ - *.drn |