Files
lean-console/meta/i18n/en/lean.console.json
T
2023-09-19 23:39:28 -04:00

5 lines
60 B
JSON

{
"title": "Console -- LEAN",
"page-title": "Console"
}