diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:56:42 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 19:56:42 +0000 |
| commit | 048e219468508ad403e576ef15a416fd8d051b22 (patch) | |
| tree | 4d4f27abbcb83daa222de043685a0207ca8e6a93 /README.org | |
| parent | bbfba26e5131665dbf3e7f6adf0c1746dccec243 (diff) | |
| download | vericert-048e219468508ad403e576ef15a416fd8d051b22.tar.gz vericert-048e219468508ad403e576ef15a416fd8d051b22.zip | |
Update README with correct link
Diffstat (limited to 'README.org')
| -rw-r--r-- | README.org | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -137,8 +137,7 @@ This project is licensed under [[https://www.gnu.org/licenses/gpl-3.0.en.html][G The following external code and its license is present in this repository: -- [[/src/pipelining -][/src/pipelining]] :: MIT +- [[/src/pipelining][/src/pipelining]] :: MIT #+begin_src text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA |