diff options
| author | Arnaud Versini <arnaud.versini@gmail.com> | 2012-04-19 22:14:10 +0200 |
|---|---|---|
| committer | Arnaud Versini <arnaud.versini@gmail.com> | 2012-04-19 22:14:10 +0200 |
| commit | 96a29fa1900a43d2a7d44eca2704f2164052d8dd (patch) | |
| tree | f8098c07c59d6e1a1c9d9627b2532c0b67e9cc63 /nlpsolver | |
| parent | d34daf7462fdf4f885fe3bb8fb7704a2ad73acfa (diff) | |
Remove unnecessary hack on Linux by using pthread_mutexattr_settype
Diffstat (limited to 'nlpsolver')
0 files changed, 0 insertions, 0 deletions