Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
extensions:tropicalquarticcurves [2021/12/07 14:29] – panizzut | extensions:tropicalquarticcurves [2021/12/08 14:58] – panizzut | ||
---|---|---|---|
Line 20: | Line 20: | ||
tar Jxpf tropicalquarticcurves-0.1.tar.xz | tar Jxpf tropicalquarticcurves-0.1.tar.xz | ||
</ | </ | ||
- | Suppose this ends up at ''/ | + | Suppose this ends up at ''/ |
< | < | ||
import_extension "/ | import_extension "/ |