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

- Reworked the UI a bit

Browse Source
This commit is contained in:
mcndave committed 2023-09-19 23:39:28 -04:00
1 parent 7b4d1e5cd7
commit fbfbd48eb8
20 files changed
+138 -71
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

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