diff options
| -rw-r--r-- | README.org | 4 | ||||
| m--------- | docs | 0 |
2 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 diff --git a/docs b/docs -Subproject f85153b7335ebf99ab6bf6e696b5a08fef38b61 +Subproject 3b2ce146bc6e651df8ac9910d08da05d88c06fb |