diff debian/rules @ 3706:47e6776c2ef0 stable

branching: merge further fix into stable
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Mon, 23 Apr 2018 12:03:05 +0100
parents c0a685c67c5c
children 9fa3585b160f
line wrap: on
line diff