contrib/debian/compat
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Fri, 05 Aug 2016 13:44:17 +0200
changeset 29718 41689e293994
parent 26148 7f49efcaa9b4
permissions -rw-r--r--
develwarn: use the lock helper in local repo We have a helper function to know if a lock is taken. When checking lock usage we now use it instead of manually accessing the locks.

9