11 lines
185 B
JSON
11 lines
185 B
JSON
{
|
|
"permissions": {
|
|
"allow": [
|
|
"WebFetch(domain:manual.uberspace.de)",
|
|
"WebFetch(domain:u8manual.uberspace.de)",
|
|
"Bash(rustc:*)",
|
|
"Bash(git:*)"
|
|
]
|
|
}
|
|
}
|