mcndave/lean-console
1
0 Fork 0
Code Issues Pull Requests Releases Wiki Activity

- Update on database migration

Browse Source
This commit is contained in:
mcndave committed 2023-08-29 20:28:45 +00:00
1 parent 5035a65672
commit d133ac662e
17 files changed
+174 -33
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

meta/i18n/fr/lean.debugging.json
+7
View File
@@ -0,0 +1,7 @@
{
"title" : "Debugging -- LEAN",
"page-title": "Déboguage",
"breadcrumb" : {
"index" : "Negundo"
}
}