Skip to content

Commit

Permalink
Rename primality-certificate/certificate13_3171 to primality-certific…
Browse files Browse the repository at this point in the history 
…ates/certificate13_3171
  • Loading branch information
@xayahrainie4793
xayahrainie4793 committed Sep 27, 2022
1 parent c7d7039 commit fbded91
Showing 1 changed file with 0 additions and 0 deletions.
0 primality-certificate/certificate13_3171 → primality-certificates/certificate13_3171
View file
File renamed without changes.

0 comments on commit fbded91

Please sign in to comment.