Merged PR 1487: fix logo on github readme

This PR updates the github logo on the readme (as it broke after we removed the previous one).
This commit is contained in:
Pantazis Deligiannis 2020-03-16 14:42:48 +00:00
Родитель d42f32f398
Коммит 98b999a2e4
1 изменённых файлов: 3 добавлений и 3 удалений

Просмотреть файл

@ -1,5 +1,5 @@
<div align="center">
<img src="/docs/assets/images/logo_color.svg" width="70%">
<img src="docs/assets/images/logo_coyote.svg" width="70%">
<h2>Fearless coding for reliable asynchronous software</h2>
</div>
@ -23,7 +23,7 @@ reference documentation.
Coyote is made with :heart: by Microsoft Research and is the evolution of the [P#
project](https://github.com/p-org/PSharp).
# Contributing
## Contributing
This project welcomes contributions and suggestions. Most contributions require you to agree to a
Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us
the rights to use your contribution. For details, visit https://cla.opensource.microsoft.com.
@ -32,7 +32,7 @@ When you submit a pull request, a CLA bot will automatically determine whether y
CLA and decorate the PR appropriately (e.g., status check, comment). Simply follow the instructions
provided by the bot. You will only need to do this once across all repositories using our CLA.
# Code of Conduct
## Code of Conduct
This project has adopted the [Microsoft Open Source Code of
Conduct](https://opensource.microsoft.com/codeofconduct/). For more information see the [Code of
Conduct FAQ](https://opensource.microsoft.com/codeofconduct/faq/) or contact