Up – Index » frama-c-server » Server » Server_parameters » Make_site_dir » _

Parameter `Make_site_dir._`

val name : string