Closed malsheimer closed 1 year ago
Wavedrom: Fix naming of Options from "options" to "config" due to wavedrompy API change
Wavedrom: Fix naming of Options from "options" to "config" due to wavedrompy API change