mirror of
https://github.com/brl/mutter.git
synced 2024-11-23 00:20:42 -05:00
9ed180209a
As that is the recommended process from the upstream developers Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3538>
10 lines
195 B
Plaintext
10 lines
195 B
Plaintext
[wrap-git]
|
|
directory=gi-docgen
|
|
url=https://gitlab.gnome.org/GNOME/gi-docgen.git
|
|
push-url=ssh://git@gitlab.gnome.org:GNOME/gi-docgen.git
|
|
revision=main
|
|
depth=1
|
|
|
|
[provide]
|
|
program_names = gi-docgen
|