Skip to content

Commit bd78497

Browse files
tautschnigtautschnig
committed
Ensure all readme files are named README.md
This is to make them easier to spot when there might be a large number of files or sub-directories in a particular directory.
1 parent 5a1dec1 commit bd78497

File tree

7 files changed

+0
-0
lines changed

7 files changed

+0
-0
lines changed

‎jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/lambda_examples/readme.md renamed to ‎jbmc/unit/java_bytecode/java_bytecode_parse_lambdas/lambda_examples/README.md

File renamed without changes.

‎regression/readme.md renamed to ‎regression/README.md

File renamed without changes.

‎regression/cbmc-incr-smt2/bitvector-flag-tests/readme.md renamed to ‎regression/cbmc-incr-smt2/bitvector-flag-tests/README.md

File renamed without changes.

‎regression/goto-cc-cbmc-shared-options/readme.md renamed to ‎regression/goto-cc-cbmc-shared-options/README.md

File renamed without changes.

‎regression/symtab2gb-cbmc/readme.md renamed to ‎regression/symtab2gb-cbmc/README.md

File renamed without changes.

‎regression/symtab2gb/readme.md renamed to ‎regression/symtab2gb/README.md

File renamed without changes.

‎scripts/bash-autocomplete/Readme.md renamed to ‎scripts/bash-autocomplete/README.md

File renamed without changes.

0 commit comments

Comments
 (0)