From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 6 Mar 2016 01:01:38 +0000 (+0100)
Subject: make xbt_mutex reentrant (the standard way) and kill xbt_rmutex
X-Git-Tag: v3_13~532
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/39713cc1fba008481093955f535fe26eaeae4906?hp=39713cc1fba008481093955f535fe26eaeae4906

make xbt_mutex reentrant (the standard way) and kill xbt_rmutex
---