debian/source/format
author Pierre-Yves David <pierre-yves.david@logilab.fr>
Fri, 22 Mar 2013 20:04:43 +0100
changeset 8776 cdb261bd36ac
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[session] make session lock reentrant We are going to use it for other session related business. It is renamed from _closed_lock to _lock in the same move.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6708
09c98763ae9d [pkg/debian] Add source format information
Pierre-Yves David <pierre-yves.david@logilab.fr>
parents:
diff changeset
     1
1.0