Create a simple guide on how to edit the wiki #24

Open

essential-randomness

opened

on Oct 29, 2022

The recent "learn to edit the wiki" event resulted in a nice thread about how to, well, edit the wiki. It would be great if we could distill the teachings here :)

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests