Revision ef4a29b35c862795ac9c763c453f9e6eda2b8eb5 authored by Yngve Mardal Moe on 01 July 2021, 16:44:19 UTC, committed by Yngve Mardal Moe on 01 July 2021, 16:44:19 UTC
1 parent aa8ae63
home.rst
.. raw:: html
<script type="text/javascript">
window.location.href = "index.html"
</script>

Computing file changes ...