This will also git commit before and after the upload of the docs, so as to make sure that changes to warnOldDocs.js are recoverable. |
||
|---|---|---|
| .. | ||
| static | ||
| layout.html | ||
| theme.conf | ||
This will also git commit before and after the upload of the docs, so as to make sure that changes to warnOldDocs.js are recoverable. |
||
|---|---|---|
| .. | ||
| static | ||
| layout.html | ||
| theme.conf | ||