Changed the name of the readme file so it shows up on the Github page

ThomasMertes / seed7

Source code of Seed7

GNU General Public License v2.0

207 stars 11 forks source link

Changed the name of the readme file so it shows up on the Github page #1

Closed willow385 closed 3 years ago

willow385 commented 4 years ago

Github will show files named some case-insensitive variant of readme.* on the project page, but not "read_me". So I renamed it to show up on the project page.