mirror of
https://git.rtems.org/rtems-docs/
synced 2025-05-15 00:37:09 +08:00
common: Align "Build Logs" with other list names
This commit is contained in:
parent
8b203e284a
commit
8037cbbebc
@ -51,7 +51,7 @@ role_list = {
|
||||
"announce": ("Announce Mailing List", "https://lists.rtems.org/mailman/listinfo/announce/"),
|
||||
"bugs": ("Bugs Mailing List", "https://lists.rtems.org/mailman/listinfo/bugs/"),
|
||||
"devel": ("Developers Mailing List", "https://lists.rtems.org/mailman/listinfo/devel/"),
|
||||
"build": ("Build logs", "https://lists.rtems.org/mailman/listinfo/build"),
|
||||
"build": ("Build Logs", "https://lists.rtems.org/mailman/listinfo/build"),
|
||||
"users": ("Users Mailing List", "https://lists.rtems.org/mailman/listinfo/users/"),
|
||||
"vc": ("Version Control Mailing List", "https://lists.rtems.org/mailman/listinfo/vc/"),
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user