fix (another) git URI

This commit is contained in:
2024-01-13 15:57:55 +01:00
parent 2262cc7393
commit e55ac95301

View File

@@ -31,7 +31,8 @@ $ git clone https://git.raoult.com/bruno/brlib.git
#+BEGIN_EXAMPLE #+BEGIN_EXAMPLE
$ git clone git@git.raoult.com:bruno/brlib.git $ git clone git@git.raoult.com:bruno/brlib.git
$ cd brlib $ cd brlib
$ git remote add github git@github.com/braoult/brlib.git $ git remote add github git@github.com:braoult/brlib.git
$ git fetch --all
#+END_EXAMPLE #+END_EXAMPLE
*Add CuTest submodule (optional)* *Add CuTest submodule (optional)*