diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-06-08 17:00:02 +0200 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-06-08 17:00:02 +0200 |
| commit | 26f9d907d48ecac5f32d8e94f1366478d9f75ce3 (patch) | |
| tree | 4f18579b1794b0f36d63496662532b349010d18b /modules/gdscript/config.py | |
| parent | 42569f566f7750e355bf07f15008b54677043536 (diff) | |
Remove obsolete mono patch for pthread_mutexattr_setprotocol
This has already been fixed in Mono both master and 2019-06 (no other branch other than the skipped 2019-04 branch uses pthread_mutexattr_setprotocol).
Diffstat (limited to 'modules/gdscript/config.py')
0 files changed, 0 insertions, 0 deletions