Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
| doku:shore [2015/05/26 06:21] – markus | doku:shore [2015/05/26 06:22] (current) – markus | ||
|---|---|---|---|
| Line 56: | Line 56: | ||
| 3) | 3) | ||
| Then type | Then type | ||
| + | < | ||
| make | make | ||
| + | </ | ||