* also improved fault handling in various places (bugs found) * and manually triggered Update must be distinguished from scheduled auto updates, otherwise manual Update will schedule extra auto updates |
||
|---|---|---|
| .. | ||
| _sphinx | ||
| rst | ||
| .history | ||
| build.sbt | ||
* also improved fault handling in various places (bugs found) * and manually triggered Update must be distinguished from scheduled auto updates, otherwise manual Update will schedule extra auto updates |
||
|---|---|---|
| .. | ||
| _sphinx | ||
| rst | ||
| .history | ||
| build.sbt | ||