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

8 lines
126 B
JSON
Raw Normal View History

2023-08-29 20:28:45 +00:00
{
"title" : "Debugging -- LEAN",
"page-title": "Déboguage",
"breadcrumb" : {
"index" : "Negundo"
}
}