fix messed up delete options
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Mar 2022 23:27:42 +0000 (00:27 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Mar 2022 23:27:42 +0000 (00:27 +0100)
commit34918da5aff7973995da9b2a0c4cbfda97e6cc65
treeca264c572145df1b69756718bfe9831823ffeda3
parentd86c35f59efdf421803130595a38f0c0cc493743
fix messed up delete options
fedora-mirror.sh