Change --copies' meta parameter to NUMBER
authorGergely Risko <errge@nilcons.com>
Mon, 22 Apr 2024 15:32:06 +0000 (17:32 +0200)
committerJoey Hess <joeyh@joeyh.name>
Tue, 30 Apr 2024 19:16:22 +0000 (15:16 -0400)
commitcb541b9ecd9f15252364ab8c8eced61da2e2e64a
tree7f84132e7dab07c7ab95d2a29059d8e43b1af649
parent1f37d0b00dfa3c60f37544073437bd7b4da0c51c
Change --copies' meta parameter to NUMBER
CmdLine/GitAnnex/Options.hs