pagure

#4176 Small improvements to the documentation
Merged by pingou. Opened by pingou.
document_theme  into  master

Download 4176.patch
no initial comment

Pretty please pagure-ci rebuild

:thumbsup:

Let's merge https://pagure.io/pagure/pull-request/4172 first since it contains one of these two commits :)

Going to kick out the commit from #4172 and push the other one

rebased onto dde1e3dcf8e041474a35ce786edcc2162851a6e4

Pull-Request has been merged by pingou
Metadata
None
No Tags
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.