removing server7 as section

This commit is contained in:
Tassilo - 2023-10-18 22:46:49 +02:00
parent 4a32f6d021
commit 4f53cc3508
Signed by: revol-xut
GPG Key ID: 4F56FF7759627D07
1 changed files with 0 additions and 6 deletions

View File

@ -178,12 +178,6 @@
pub.ports = [
"ge-1/0/11"
];
server7 = {
group = "8";
ports = [
"ge-0/0/40"
];
};
server9 = {
group = "10";
ports = [