remove obsolete enum type

This commit is contained in:
Timo Hocker 2020-10-05 19:32:29 +02:00
parent 59542eb7b1
commit 9a2c2ce14c

View File

@ -9,7 +9,6 @@
/* eslint-disable no-inline-comments */ /* eslint-disable no-inline-comments */
type GraphStreamCommand = type GraphStreamCommand =
'cn'| 'cn'|
'en'|
'cug'| 'cug'|
'cdg'| 'cdg'|
'csg'| 'csg'|
@ -20,7 +19,6 @@ type GraphStreamCommand =
function translate_command (cmd: GraphStreamCommand|''): string { function translate_command (cmd: GraphStreamCommand|''): string {
const translations = { const translations = {
cn: 'create node', cn: 'create node',
en: 'end node',
cug: 'create unordered graph', cug: 'create unordered graph',
cdg: 'create directional graph', cdg: 'create directional graph',
csg: 'create subgraph', csg: 'create subgraph',