summaryrefslogtreecommitdiff
path: root/backends/lean
diff options
context:
space:
mode:
authorSon Ho2024-04-03 17:49:00 +0200
committerSon Ho2024-04-03 17:49:00 +0200
commite9bbac75812ef556585f14b72239133619cf1748 (patch)
treee45aaa678e0ac91b786ac3cf9accd2af6ab5260c /backends/lean
parentf4a89caad1459f2f72295c5baa284fe1f9b4c39f (diff)
Update the initial configuration
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions