de2e2f36b6 · Add plantuml target and explain how to build docs · Updated 1 year ago
Deleting a branch is permanent. It CANNOT be undone. Continue?