git/gitlint
1
0
Fork 0
Code Issues Activity

Merging upstream version 0.18.0.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-13 06:06:24 +01:00
parent 0453b640a2
commit 129d2ce1fc
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
118 changed files with 4146 additions and 2087 deletions
Download patch file Download diff file Expand all files Collapse all files

8
docs/extra.css
View file

@ -2,3 +2,11 @@ a.toctree-l3 {
margin-left: 10px;
/* display: none; */
}
.wy-nav-content {
max-width: 1000px;
}
.document hr {
border-top: 1px solid #666;
}