diff --git a/mj-compil-time-reduction.md b/mj-compil-time-reduction.md index 377631ec048b32da09724c5899bd45d53b218720..4181c547156b26632547f0f34656999071126ee8 100644 --- a/mj-compil-time-reduction.md +++ b/mj-compil-time-reduction.md @@ -1,5 +1,5 @@ --- -layout: fr +layout: wip title: Compilation time reduction and housekeeping author: mj date: April 15, 2020