diff options
author | Paul Selkirk <paul@psgd.org> | 2020-03-31 09:27:02 -0400 |
---|---|---|
committer | Paul Selkirk <paul@psgd.org> | 2020-03-31 09:27:28 -0400 |
commit | 2aee357d677e720215f5a03cf071ee94980cf05d (patch) | |
tree | 0fbf83ad000d9b98ba556629f894d2a5a2b62d67 /.gitignore | |
parent | 4333178c6a8f467ddacc13ddae0bed588b6bdcf3 (diff) | |
parent | 0d2aa16a71c1f0ca183a71c3d5460c6ff1a2f245 (diff) |
Merge branch 'integrate_mkmif' to master
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c369eb7 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +toolruns/*.sim |