From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Mon, 10 Jul 2017 08:01:46 +0000 (+0200)
Subject: some debugging tool added
X-Git-Tag: v5.6.0~32
X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=625e7181c7713e6f02ac0ceb49929a797fc26f6e;hp=625e7181c7713e6f02ac0ceb49929a797fc26f6e;p=brisk.git

some debugging tool added
---