From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 18 Apr 2018 13:58:07 +0000 (+0200)
Subject: Convert more config flags (instr_config).
X-Git-Tag: v3.20~392
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/25f81e17d9f23d3eaf9b6907eed3cab3b8cf3e6b?hp=25f81e17d9f23d3eaf9b6907eed3cab3b8cf3e6b

Convert more config flags (instr_config).
---