{"p":"","h":{"iv":"ROXSYW+cfvEbFHu5","at":"ocxplSQjdRC3tXEtB/9/wg=="}}

@perspektivbrocken I am on GitHub. Happy to make a pull request. But as this is a structural change, maybe it is better when one of you do this. No idea where you would put this in the hierarchy.

@hendrikerz

1
Share
Share on Mastodon
Share on Twitter
Share on Facebook
Share on Linkedin
Perspektivbrocken

@VictorVenema

I thik it’s fine, we will rearrange it, if there is a problem. After all, it’s just a Markdown document.

Just suggest something, that would make sense for you. I suggest for now just adding it at the end. But just go for it.

@hendrikerz

1
2y
Replies