Skip to content

add option to not display state numbers in --dot