Skip to content

Accept dashes in ids and tags for pygments syntax highlighting#5

Open
chathhorn wants to merge 2 commits into
runtimeverification:masterfrom
chathhorn:patch-1
Open

Accept dashes in ids and tags for pygments syntax highlighting#5
chathhorn wants to merge 2 commits into
runtimeverification:masterfrom
chathhorn:patch-1

Commits

Commits on Oct 4, 2019