aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:36:08 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:36:08 +0000
commit69585c325b31c0c2dc2cc7eeab1799efe70e523e (patch)
treef29dd27c2df544eb23070afb0ef2d58b765193a9 /README
parentb514ec57575f786dd1090dd910dbdd9d98e93ec3 (diff)
Checklist defining remote moved to top
In the checklist, we are now defining the remote host of the repository at an early stage. This is because we will need it in the `README.md' file (which now has a placeholder `XXXXXXX' instead of a valid URL).
Diffstat (limited to 'README')
-rw-r--r--README2
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 2e30ce7..43dd4f2 100644
--- a/README
+++ b/README
@@ -18,7 +18,7 @@ manually (there is a button to download a compressed tarball of the
project).
```shell
-$ git clone https://gitlab.com/makhlaghi/reproducible-paper.git
+$ git clone XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
$ ./configure
$ .local/bin/make -j8
```