Skip to content

Commit

Permalink
タイポしたファイルを削除
Browse files Browse the repository at this point in the history
  • Loading branch information
@Seasawher
Seasawher committed Oct 4, 2024
1 parent c6d5e79 commit 30385a5
Showing 1 changed file with 0 additions and 0 deletions.
0 Examples/Option/Autoimplicit.lean → Examples/Option/AutoImplicit.lean
View file
File renamed without changes.

0 comments on commit 30385a5

Please sign in to comment.