debian/source/format
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Fri, 10 Mar 2017 18:24:40 +0100
changeset 12027 c62c80f20a82
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[repo] Stop closing session The only point in "closing" session is to call the `session_close` event. Since I'm not aware of any application relying on it, I think this is too costly (in term of code) to maintain and propose to drop it.
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