search

apache / petri

Apache Petri
https://petri.apache.org/
Apache License 2.0
3 stars 5 forks source link

Why does site use toc2 plugin rather than toc? #52

Closed sebbASF closed 4 months ago

sebbASF commented 4 months ago

AFAICT, the generated site is the same for both plugins, so why does Petri use a customised version of the plugin?

sebbASF commented 4 months ago

Oops, compared wrong builds, they are different.