comparison 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
comparison
equal deleted inserted replaced
718:29abdb2aeccb 720:7de0554bf190