From: Francois Fleuret <francois@fleuret.org>
Date: Fri, 13 Jan 2017 22:59:48 +0000 (+0100)
Subject: OCD cosmetics.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=a564f8d1eceeacc5b3ab27b0d88a0f4e375151f3;hp=a564f8d1eceeacc5b3ab27b0d88a0f4e375151f3;p=profiler-torch.git

OCD cosmetics.
---