diff options
| -rw-r--r-- | .file-metadata | bin | 6250 -> 6250 bytes | |||
| -rw-r--r-- | README.md | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex b7b8823..a29f255 100644 --- a/.file-metadata +++ b/.file-metadata @@ -19,6 +19,7 @@ received this source from arXiv, please see the respective section below. ```shell $ git clone XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX +$ cd XXXXXXXXXXXXXXXXXX $ ./project configure $ ./project make ``` |