Remove old mason

2016-12-15 09:39:46 +00:00
parent 38b2ad298d
commit 708ac04562
733 changed files with 0 additions and 30715 deletions
@@ -1,12 +0,0 @@
--- libs/python/src/converter/builtin_converters.cpp	2012-12-07 11:51:06.000000000 -0800
-+++ libs/python/src/converter/builtin_converters.cpp	2014-04-01 17:24:37.000000000 -0700
-@@ -32,7 +32,9 @@
- 
- void shared_ptr_deleter::operator()(void const*)
- {
-+    PyGILState_STATE gil = PyGILState_Ensure();
-     owner.reset();
-+    PyGILState_Release(gil);
- }
- 
- namespace