annotate debian/docs @ 720:7de0554bf190

merge with stable
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 11 Feb 2013 10:46:38 +0100
parents b18b00036355
children d1ca81f9e458
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
531
b18b00036355 pkg/debian: Debian packaging
Pierre-Yves David <pierre-yves.david@logilab.fr>
parents:
diff changeset
1 html