-
Reinhard Prix authored
- obsolete, unmainted codes, functionality has been integrated into mainstream - Chris has ok'ed this move - refs #20 Original: a6769ea58285b6289513e57e44fd6d0adb8d9414
563e7d7d
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.
- obsolete, unmainted codes, functionality has been integrated into mainstream - Chris has ok'ed this move - refs #20 Original: a6769ea58285b6289513e57e44fd6d0adb8d9414