portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update DOI link in README.md

Browse source 
Previously the DOI link was to one very old version. Update with a link
that links to the latest version automatically.
This commit is contained in:
Anna Lyons 2018-03-25 07:54:45 +11:00
parent f5d0b93ccf
commit 6e7f334f83
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -18,7 +18,7 @@ correctness proof, please see the [`sel4.systems`][1] website and associated
[FAQ][2].
DOIs for citing recent releases of this repository:
* [![DOI][4]](http://dx.doi.org/10.5281/zenodo.11247)
* [![DOI][4]](https://doi.org/10.5281/zenodo.591727)
We welcome contributions to seL4. Please see the website for information
on [how to contribute][3].
@ -29,7 +29,7 @@ system in a larger project.
[1]: http://sel4.systems/
[2]: http://sel4.systems/Info/FAQ/
[3]: http://sel4.systems/Community/Contributing/
[4]: https://zenodo.org/badge/doi/10.5281/zenodo.11247.png
[4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg
Repository Overview
-------------------