web:mirror
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
web:mirror [2023/12/05 12:16] – Update with latest changes to phd and documentation derick | web:mirror [2023/12/05 12:17] (current) – derick | ||
---|---|---|---|
Line 46: | Line 46: | ||
(cd manual && ln -s `pwd`/ | (cd manual && ln -s `pwd`/ | ||
- | php -S localhost: | + | php -S localhost: |
</ | </ | ||
web/mirror.1701778592.txt.gz · Last modified: 2023/12/05 12:16 by derick