chore: update stage0

leanprover · Nov 19, 2024 · 3d6a644 · 3d6a644
1 parent 5d9e587
commit 3d6a644
Show file tree

Hide file tree

Showing 12 changed files with 1,812 additions and 1,812 deletions.
diff --git a/stage0/stdlib/Init/Data/List/Sort/Basic.c b/stage0/stdlib/Init/Data/List/Sort/Basic.c
diff --git a/stage0/stdlib/Init/Data/List/Sort/Impl.c b/stage0/stdlib/Init/Data/List/Sort/Impl.c
diff --git a/stage0/stdlib/Init/Data/String/Basic.c b/stage0/stdlib/Init/Data/String/Basic.c