Fence example site.properties contents

SymbolicPathFinder / jpf-symbc

Symbolic PathFinder

124 stars 89 forks source link

Closed kennyballou closed 2 years ago

kennyballou commented 2 years ago

Disable GitHub from attempting to render the literal content as \LaTeX markup.

yannicnoller commented 2 years ago

Hi @kennyballou! Thanks for your PR. We currently work on an update of the README that will already include what you propose, see https://github.com/SymbolicPathFinder/jpf-symbc/pull/71.

kennyballou commented 2 years ago

@yannicnoller: thanks for the clarification!