diff options
author | Gael Guennebaud <g.gael@free.fr> | 2016-01-21 14:29:45 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2016-01-21 14:29:45 +0100 |
commit | 34340458cbe33976559bf8fd73a9d4b2f747d611 (patch) | |
tree | 60a61d7aa86d78de8a592a2f1fb59a9769f1858a /COPYING.MPL2 | |
parent | 690bc950f70c61075d396671e63480bbd64bb297 (diff) |
bug #1151: remove useless critical section
Diffstat (limited to 'COPYING.MPL2')
0 files changed, 0 insertions, 0 deletions