diff options
| author | Mikaƫl Capelle <capelle.mikael@gmail.com> | 2021-01-29 08:48:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-29 08:48:01 +0100 |
| commit | 8606bf70c76252e20f888264bfbdedde0f1c8754 (patch) | |
| tree | ac827454e054eb3aceaa139562ef3dd27ca94d55 /src/commandline.h | |
| parent | 136dc17e011deda53f6e82e6c8b23ee701be3158 (diff) | |
| parent | a88d3436cc6b2c24ab05400a5ad5e9e67cb95db8 (diff) | |
Merge pull request #1384 from Holt59/add-pick-argument
Implement --pick argument.
Diffstat (limited to 'src/commandline.h')
| -rw-r--r-- | src/commandline.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/commandline.h b/src/commandline.h index 6bd57132..a0b70fb2 100644 --- a/src/commandline.h +++ b/src/commandline.h @@ -318,6 +318,9 @@ public: // std::string usage(const Command* c=nullptr) const; + // whether --pick was given + // + bool pick() const; // whether --multiple was given // |
