Skip to content

Commit

Permalink
ci: rename makefile -> Makefile in docker (#17648)
Browse files Browse the repository at this point in the history 
Minor file rename.
  • Loading branch information
@eyurtsev
eyurtsev authored Feb 16, 2024
1 parent 8d4547a commit d7c26c8
Showing 1 changed file with 0 additions and 0 deletions.
0 docker/makefile → docker/Makefile
View file
File renamed without changes.

0 comments on commit d7c26c8

Please sign in to comment.