debian/compat
author Pierre-Yves David <pierre-yves.david@octobus.net>
Fri, 31 Aug 2018 12:45:56 +0200
changeset 4050 3dddb03f3559
parent 531 b18b00036355
child 4912 43e9bb4de6b5
permissions -rw-r--r--
pick: use "pick" instead of "grab" for various internal API This should not much user visible impact but this is cleaner.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
531
b18b00036355 pkg/debian: Debian packaging
Pierre-Yves David <pierre-yves.david@logilab.fr>
parents:
diff changeset
     1
8