Skip to content

Commit a36de69

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 d932d6f commit a36de69

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)