Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
wiki:navigation_header [2017/05/31 00:17] Christophe Dessimoz |
wiki:navigation_header [2017/05/31 00:18] Christophe Dessimoz |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| [[:Home]]\\ | [[:Home]]\\ | ||
| [[:Table of Contents]]\\ | [[:Table of Contents]]\\ | ||
| - | [[:Erratum:]]\\ | + | [[:Errata:]]\\ |
| [[:Author zone:]]\\ | [[:Author zone:]]\\ | ||