-
Karl Wette authored
- No longer used by top-level build system Original: ad19c63159a782de8683a946a131867169cea59b
5d2c73f0
Maintenance will be performed on git.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 23 April 2024 starting at approximately 9am PDT. It is expected to take around twenty minutes and there will be several periods of downtime throughout the maintenance. Please address any comments, concerns, or questions to the helpdesk.
- No longer used by top-level build system Original: ad19c63159a782de8683a946a131867169cea59b