search

PetriNets / petrinets.github.io

Petrinet.org interactive playground website
http://petrinet.org
14 stars 8 forks source link

Build the "edit" button into template #5

Closed wires closed 6 years ago

wires commented 6 years ago

Use Jekyll variables to automatically generate the edit link

See https://github.com/jekyll/jekyll-help/issues/5#issuecomment-39033862

antonleviathan commented 6 years ago

Made the changes here: https://github.com/PetriNets/petrinets.github.io/pull/6

antonleviathan commented 6 years ago

Merged the branch.