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