![]() |
Rosetta
2020.50
|
Variables | |
BooleanOptionKey const | krassk |
BooleanOptionKey const | tail_mode |
IntegerOptionKey const | tail_mode_name |
StringOptionKey const | tail_output_file_name |
BooleanOptionKey const basic::options::OptionKeys::krassk::krassk |
Referenced by add_rosetta_options_15().
BooleanOptionKey const basic::options::OptionKeys::krassk::tail_mode |
Referenced by add_rosetta_options_15().
IntegerOptionKey const basic::options::OptionKeys::krassk::tail_mode_name |
Referenced by add_rosetta_options_15().
StringOptionKey const basic::options::OptionKeys::krassk::tail_output_file_name |
Referenced by add_rosetta_options_15().