Doc #136
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "doc"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Merging the documentation. Branch equipment was merged in this branch before it was clean, so the coverage is not good and the linters detect a lot of errors, I will fix that after merging.
added 32 commits
master
196e3708
- Merge branch 'master' into 'doc'Compare with previous version
enabled an automatic merge when the pipeline for
196e3708d2
succeedsmentioned in commit
ea58d5b426