2018-04-30 13:23:48 +02:00
|
|
|
#include "settings.hpp"
|
|
|
|
|
|
|
|
namespace settings {
|
|
|
|
SwitchGenerationPolicy switch_generation_policy = SGP_SwitchPerFunc;
|
2018-05-11 13:09:35 +02:00
|
|
|
std::string pc_list = "";
|
2018-06-01 19:46:43 +02:00
|
|
|
bool enable_deref_arg = false;
|
2018-04-30 13:23:48 +02:00
|
|
|
}
|