projects
/
gtk4.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
8e57818
62087b1
)
Merge branch 'matthiasc/for-main' into 'main'
author
Matthias Clasen
<mclasen@redhat.com>
Sat, 5 Aug 2023 03:37:05 +0000
(
03:37
+0000)
committer
Matthias Clasen
<mclasen@redhat.com>
Sat, 5 Aug 2023 03:37:05 +0000
(
03:37
+0000)
build: Rename docs build options
See merge request GNOME/gtk!6239
Trivial merge