mirror of
https://github.com/hneemann/Digital.git
synced 2025-09-13 06:49:36 -04:00
fixed a bug in the suffix handling
This commit is contained in:
parent
9e941ff30c
commit
25b03f205f
@ -22,11 +22,12 @@ public final class SaveAsHelper {
|
||||
|
||||
static {
|
||||
KNOWN.add("dig");
|
||||
KNOWN.add("fsm");
|
||||
KNOWN.add("hex");
|
||||
KNOWN.add("tru");
|
||||
KNOWN.add("svg");
|
||||
KNOWN.add("vhdl");
|
||||
KNOWN.add("v");
|
||||
KNOWN.add("hex");
|
||||
KNOWN.add("tru");
|
||||
KNOWN.add("csv");
|
||||
KNOWN.add("gif");
|
||||
KNOWN.add("png");
|
||||
|
Loading…
x
Reference in New Issue
Block a user