diff options
Diffstat (limited to 'README.org')
-rw-r--r-- | README.org | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -130,11 +130,11 @@ If you use Vericert in any way, please cite it using our [[https://yannherklotz. ** License -This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][GPLv3]]. The license can be seen in [[/LICENSE][~/LICENSE~]]. +This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][GPLv3]]. The license can be seen in [[/LICENSE][/LICENSE]]. The following external code and its license is present in this repository: -- [[/src/SoftwarePipelining][~/src/SoftwarePipelining~]] :: MIT +- [[/src/SoftwarePipelining][/src/SoftwarePipelining]] :: MIT #+begin_src text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA |