Revision 92f23dbf1681e8a738845a985ebcf2acfece20fc authored by Pierre-Yves Strub on 18 November 2021, 12:06:18 UTC, committed by Pierre-Yves Strub on 18 November 2021, 12:06:45 UTC
This is needed by "dune subst" ref #99
1 parent 5e3929a
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...