From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Mon, 14 Mar 2022 23:27:42 +0000 (+0100)
Subject: fix messed up delete options
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=34918da5aff7973995da9b2a0c4cbfda97e6cc65;hp=34918da5aff7973995da9b2a0c4cbfda97e6cc65;p=build.git

fix messed up delete options
---