mirror of
https://github.com/NixOS/nix.git
synced 2025-11-14 14:32:42 +01:00
Group common options
This commit is contained in:
parent
807d963ee8
commit
36c4d6f592
11 changed files with 80 additions and 26 deletions
|
|
@ -91,7 +91,7 @@ protected:
|
|||
{ }
|
||||
};
|
||||
|
||||
/* Flags. */
|
||||
/* Options. */
|
||||
struct Flag
|
||||
{
|
||||
typedef std::shared_ptr<Flag> ptr;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue