Better glue (#17381)

This commit is contained in:
Slava0135
2023-06-30 22:07:44 +03:00
committed by GitHub
parent 0ad77202b8
commit aadcc48ddc
11 changed files with 148 additions and 169 deletions

View File

@@ -1,3 +1,3 @@
glue-success = {THE($target)} has been covered in glue.
glue-success = {THE($target)} has been covered in glue!
glued-name-prefix = Glued {$target}
glue-failure = {THE($target)} is already covered in glue.
glue-failure = Can't cover {THE($target)} in glue!