confdroid/confdroid_jenkins
1
0
Fork 0
Code Issues Projects Wiki Activity

deleted docs and adjusted Jenkins pipeline

Browse Source
This commit is contained in:
Arne Teuke
2025-05-06 13:01:54 +02:00
parent 6192034326
commit 2653bf2ca7
22 changed files with 1 additions and 3313 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
doc/css/common.css
View File

@@ -1,8 +0,0 @@
/* Ensure the search bar doesn't overlap with links */
.fixed_header {
padding-bottom: 25px;
}
#full_list {
padding-top: 15px;
}