diff options
Diffstat (limited to 'docs/pages')
| -rw-r--r-- | docs/pages/colophon.html | 2 | ||||
| -rw-r--r-- | docs/pages/cours.html | 2 | ||||
| -rw-r--r-- | docs/pages/presentations.html | 2 | ||||
| -rw-r--r-- | docs/pages/publications.html | 2 |
4 files changed, 8 insertions, 0 deletions
diff --git a/docs/pages/colophon.html b/docs/pages/colophon.html index 4f074bf..7dbd46f 100644 --- a/docs/pages/colophon.html +++ b/docs/pages/colophon.html @@ -24,7 +24,9 @@ <li><a href="/pages/publications.html">Publications & Communications</a></li> <li><a href="/pages/cours.html">Enseignements</a></li> <li><a href="/pages/presentations.html">Présentations</a></li> + <li><a href="http://git.en-cours-de.construction/">Sources et versions</a></li> <li class="right"><a href="/index-cache.html"></a></li> + </ul> </nav></header> <div class="side-page" id="contentIframe"> </div> diff --git a/docs/pages/cours.html b/docs/pages/cours.html index ec7292d..b070069 100644 --- a/docs/pages/cours.html +++ b/docs/pages/cours.html @@ -24,7 +24,9 @@ <li><a href="/pages/publications.html">Publications & Communications</a></li> <li><a href="/pages/cours.html">Enseignements</a></li> <li><a href="/pages/presentations.html">Présentations</a></li> + <li><a href="http://git.en-cours-de.construction/">Sources et versions</a></li> <li class="right"><a href="/index-cache.html"></a></li> + </ul> </nav></header> <div class="side-page" id="contentIframe"> </div> diff --git a/docs/pages/presentations.html b/docs/pages/presentations.html index 0349319..5a4b6f9 100644 --- a/docs/pages/presentations.html +++ b/docs/pages/presentations.html @@ -24,7 +24,9 @@ <li><a href="/pages/publications.html">Publications & Communications</a></li> <li><a href="/pages/cours.html">Enseignements</a></li> <li><a href="/pages/presentations.html">Présentations</a></li> + <li><a href="http://git.en-cours-de.construction/">Sources et versions</a></li> <li class="right"><a href="/index-cache.html"></a></li> + </ul> </nav></header> <div class="side-page" id="contentIframe"> </div> diff --git a/docs/pages/publications.html b/docs/pages/publications.html index 1cefec2..302e5ec 100644 --- a/docs/pages/publications.html +++ b/docs/pages/publications.html @@ -24,7 +24,9 @@ <li><a href="/pages/publications.html">Publications & Communications</a></li> <li><a href="/pages/cours.html">Enseignements</a></li> <li><a href="/pages/presentations.html">Présentations</a></li> + <li><a href="http://git.en-cours-de.construction/">Sources et versions</a></li> <li class="right"><a href="/index-cache.html"></a></li> + </ul> </nav></header> <div class="side-page" id="contentIframe"> </div> |