Revision 5f08046e504a94a134754f0cb060b8c5e9b9b223 authored by Marie Roald on 06 June 2021, 08:39:47 UTC, committed by Marie Roald on 06 June 2021, 08:39:47 UTC
1 parent 51e0748
home.rst
.. raw:: html
<script type="text/javascript">
window.location.href = "index.html"
</script>
Computing file changes ...