HomePhabricator

Merge "[doc] Fix user-config.py filename"

Tags
None
Referenced Files
None
Subscribers
None

Description

Merge "[doc] Fix user-config.py filename"

Details

Provenance
jenkins-botAuthored on Apr 17 2024, 4:57 PM
Gerrit Code ReviewCommitted on Apr 17 2024, 4:57 PM
Parents
R3347:f249db1c8f71: [doc] Fix user-config.py filename
R3347:3bf860513ad4: [L10N] localize noreferences.py for simple-wiki
Branches
Unknown
Tags
Unknown
ChangeId
None

Event Timeline