move machine_name to SpinnMachine level

SpiNNakerManchester · Jun 17, 2024 · 509f2ca · 509f2ca
1 parent 75b6e9e
commit 509f2ca
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/spinnman/spinnman.cfg b/spinnman/spinnman.cfg
@@ -3,9 +3,6 @@
 
 # This is a place holder for any future SpiNNMan level cfg settings
 [Machine]
-# machine name is typically a URL and then version is required
-machine_name = None
-
 # When True if any non ethernet chip claims it has a IP address this is logged and ignored
 # When False the whole chip is removed
 ignore_bad_ethernets = True