diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:15:02 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-11-18 22:15:02 +0000 |
| commit | fc215b1307b9b8a8c7392b7faf252fede26c7a35 (patch) | |
| tree | d7d5d0e876bb9628cf81376f59491bc226b9996d | |
| parent | 90ed9c794dadc04259530f7058cd9bc260814d33 (diff) | |
| download | vericert-fc215b1307b9b8a8c7392b7faf252fede26c7a35.tar.gz vericert-fc215b1307b9b8a8c7392b7faf252fede26c7a35.zip | |
Fix the pipelining link in the README
| -rw-r--r-- | README.org | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -137,7 +137,8 @@ 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/SoftwarePipelining][/src/SoftwarePipelining]] :: MIT +- [[/src/pipelining +][/src/pipelining]] :: MIT #+begin_src text Copyright (c) 2008,2009,2010 Jean-Baptiste Tristan and INRIA |