public interface Markdownable
default java.lang.String
getMarkdown()
default java.lang.String getMarkdown()
Copyright © 2003-2019 The KeY-Project.