mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity
25,234 Commits 24 Branches 141 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
Julien Fischer
df0c194d06 Rename a README file. 
Documentation/README.Docker:
   Rename -> README.Docker.md. This file was already in Markdown
   format.

   Adjust heading levels.

   Fix a broken link.

README.md:
    Conform to the above change.
 2026-01-13 17:30:27 +11:00