summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorKyleMiles <krm504@nyu.edu>2018-07-05 18:28:59 -0400
committerRyan Snyder <ryan@vector35.com>2018-07-10 18:11:10 -0400
commit975249d22e10360ed2c4c0bcea151c39d9446b0a (patch)
tree93c2abb7b184bd64565ae1f116728141bfa051c2 /.gitignore
parentfd42578dce78f4c5a530177426e6a2ea11fc95ed (diff)
Rebased so commit history is correct now
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore6
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore
index eff64eb4..302ad960 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,14 +33,8 @@ api-docs/source/index.rst
.coverage
# Make
generator
-libcrypto.so.1.0.2
-libcurl.so.4
-libssl.so.1.0.2
plugins/
python/examples/binaryninja/
-python/libcrypto.so.1.0.2
-python/libcurl.so.4
-python/libssl.so.1.0.2
python/plugins/
python/types/
suite/binaryninja/