From de9497777a58d0ec22cfda7033d698ce04e4d87c Mon Sep 17 00:00:00 2001 From: tmigot Date: Sun, 1 Oct 2023 09:15:04 +0200 Subject: [PATCH] Update developer.md --- docs/src/developer.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/developer.md b/docs/src/developer.md index 7041e7a7..c7bc646c 100644 --- a/docs/src/developer.md +++ b/docs/src/developer.md @@ -37,7 +37,7 @@ If this is the first time you work with this repository, follow the instructions 1. Fork this repo. 2. Clone your repo (this will create a `git remote` called `origin`). -3. Add this repo as a remote. +3. Add this repo as a remote: ```bash git remote add orgremote https://github.com/abelsiqueira/COPIERTemplate.jl ```