Skip to content
GitLab
Explore
Sign in
Suggestions for `update-ci` merge request
Code
Review changes
Check out branch
Download
Patches
Plain diff
Hans Fangohr
requested to merge
update-ci2
into
update-ci
Apr 25, 2023
Overview
2
Commits
3
Pipelines
0
Changes
1
Expand
extend the "[dev]" idea into the documentation for developer
also add a bit more explanation on flit
whitespace clean up in
developers.rst
Merge request reports
Loading