Skip to content

Commit db7ce60

Browse files
algebraic-devalgebraic-dev
committed
fix: had to use because of MacOS.
1 parent 0c289d9 commit db7ce60

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

Http/Data/Uri.lean renamed to Http/Data/URI.lean

File renamed without changes.

0 commit comments

Comments
 (0)