lean-console/meta/i18n/fr/lean.debugging.json

8 lines
120 B
JSON
Raw Normal View History

2023-08-29 20:28:45 +00:00
{
"title" : "Debugging -- LEAN",
"page-title": "Déboguage",
2023-09-20 03:39:28 +00:00
"logs": {
"breadcrumb": "Logs"
2023-08-29 20:28:45 +00:00
}
}