Revision ae385e213370ea9b78a27a5add271c1445ce2f19 authored by Marie Roald on 06 June 2021, 09:59:56 UTC, committed by Marie Roald on 06 June 2021, 09:59:56 UTC
1 parent 0f9ce69
home.rst
.. raw:: html
<script type="text/javascript">
window.location.href = "index.html"
</script>
Computing file changes ...