Commit Graph

1 Commits

Author SHA1 Message Date
02b9981681 Update DB to version 15: Machines can have an arbitrary number of processors,
so use an interconnection table, `processors_by_machine`.
2018-04-28 13:16:53 +01:00