rename according to PR number

coq · Nov 2, 2021 · d2d6fff · d2d6fff
1 parent 42c6886
commit d2d6fff
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/text/000-no-proofs-in-kernel.md → ...040-no-delayed-opaque-proofs-in-kernel.md b/text/000-no-proofs-in-kernel.md → ...040-no-delayed-opaque-proofs-in-kernel.md