search

PetriNets / petrinets.github.io

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

Use collections #4

Closed wires closed 6 years ago

wires commented 6 years ago

Should use Jekyll collections to create the landing page based on detail markdown files for each net

antonleviathan commented 6 years ago

Done.

antonleviathan commented 6 years ago

Should merge the pr first: https://github.com/PetriNets/petrinets.github.io/pull/7