Rename README to README.md. It already in markdown, we might as well let github know so that it renders nicely.

This commit is contained in:
alkis 2017-03-03 12:13:38 -08:00 committed by Victor Costan
parent 597fa795de
commit 1cd3ab02e9
1 changed files with 0 additions and 0 deletions

View File