From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Thu, 16 Apr 2020 07:07:24 +0000 (+0200)
Subject: add some basic profiling
X-Git-Tag: v5.8.0~4
X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=commitdiff_plain;h=b0236199abd172c19799a971cd8ec1987fc0263f;hp=b0236199abd172c19799a971cd8ec1987fc0263f;p=brisk.git

add some basic profiling
---