Merge "[doc] Fix user-config.py filename"
Description
Description
Details
Details
- Provenance
jenkins-bot Authored on Apr 17 2024, 4:57 PM Gerrit Code Review Committed 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
- ChangeId
- None
Event Timeline
Merged Changes
Merged Changes