Deploying to gh-pages from @ 29771d1 🚀

rzk-lang · Oct 2, 2024 · f5f898c · f5f898c
1 parent c92dcec
commit f5f898c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/CONTRIBUTORS/index.html b/CONTRIBUTORS/index.html
@@ -975,6 +975,7 @@ <h1 id="a-list-of-contributors">A list of contributors<a class="headerlink" href
 <li><a href="https://github.com/fredrik-bakke">Fredrik Bakke</a>,</li>
 <li><a href="https://github.com/cesarbm03">César Bardomiano Martínez</a>,</li>
 <li><a href="https://github.com/jonalfcam">Jonathan Campbell</a>,</li>
+<li><a href="https://github.com/robin-carlier">Robin Carlier</a>,</li>
 <li><a href="https://github.com/thchatzidiamantis">Theofanis Chatzidiamantis-Christoforidis</a>,</li>
 <li><a href="https://www.aergus.net/">Aras Ergus</a>,</li>
 <li><a href="https://github.com/MatthiasHu">Matthias Hutzler</a>,</li>

diff --git a/search/search_index.json b/search/search_index.json
diff --git a/sitemap.xml.gz b/sitemap.xml.gz