build
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
build [2019/11/15 16:39] – [Notes] graf | build [2019/11/15 17:11] – [Getting the Sources with a Script] graf | ||
---|---|---|---|
Line 16: | Line 16: | ||
< | < | ||
$ git clone https:// | $ git clone https:// | ||
- | $ cd eeros-project | + | $ cd eeros-project/delta |
</ | </ | ||
Run the '' | Run the '' |
build.txt · Last modified: 2023/05/31 16:37 by ursgraf