diff options
author | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-04-02 11:49:29 +0300 |
---|---|---|
committer | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-04-02 11:49:29 +0300 |
commit | 6ace8446de9d0c27856ecfba5d3261a909b91c98 (patch) | |
tree | e2dacd341a30ae1bfcb0a54d21086ddc00bc1858 /.gitignore | |
parent | 345e5c7306c1e6544e304883a8d4c4f3e0b3a16e (diff) |
added Phil patches
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0169e93165..b0cbf6151c 100644 --- a/.gitignore +++ b/.gitignore @@ -93,6 +93,7 @@ profile/benchmark-dictionary profile/benchmark-registry *.pyc +*.run diagrams/*.png diagrams/*.svg |