--- plugins/org.python.pydev/build.properties.orig 2017-01-17 13:19:40.391748533 +0000
+++ plugins/org.python.pydev/build.properties 2017-01-17 13:32:44.990075591 +0000
@@ -18,6 +18,12 @@
src_json/
output.pydev.jar = bin/
bin.excludes = pysrc/__pycache__/,\
+ pysrc/pydevd_attach_to_process/dll/,\
+ pysrc/pydevd_attach_to_process/linux/*.sh,\
+ pysrc/pydevd_attach_to_process/linux/*.c,\
+ pysrc/pydevd_attach_to_process/linux/*.h,\
+ pysrc/pydevd_attach_to_process/linux/Makefile,\
+ pysrc/pydevd_attach_to_process/winappdbg/,\
pysrc/*$py.class,\
*.pyc,\
pysrc/*.pyc,\