diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-16 18:06:00 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-16 18:06:00 +0100 |
commit | 67601d747e71e4fa1c8d0f9013593fef3f321426 (patch) | |
tree | a5971e219bfbd5f11479208a3537652d99fbaa3b | |
parent | 5e4c1c52cf8ab7fe6b8de4f06e8d4b5b518eed82 (diff) | |
download | vericert-67601d747e71e4fa1c8d0f9013593fef3f321426.tar.gz vericert-67601d747e71e4fa1c8d0f9013593fef3f321426.zip |
Update docs
-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 |