Setup domains - Githubissues

PetriNets / petrinets.github.io

Petrinet.org interactive playground website

http://petrinet.org

14 stars 8 forks source link

Setup domains #3

Open wires opened 6 years ago

wires commented 6 years ago

link to

[x] petrinet.info
[x] petrinet.org

antonleviathan commented 6 years ago

ping @wires

wires commented 6 years ago

has been done

wires commented 6 years ago

actually, undo. Only the .org works, the .info is broken. Github pages supports only one domain. I propose to move this to netlify that does support two.