changeset 80150 | 96f60533ec1d |
parent 80032 | 98808cc7b0c1 |
--- a/Admin/components/README.md Wed Apr 24 20:56:26 2024 +0100 +++ b/Admin/components/README.md Fri Apr 26 13:25:44 2024 +0200 @@ -45,7 +45,7 @@ - macOS 14 Sonoma (`studio1` Mac13,2 M1 Ultra, 16+4 cores) * `x86_64-windows` - - **Windows Server 2012 Rev 2** (`vmnipkow9`) + - **Windows Server 2022** (`se0.proof.cit.tum.de`) - **Windows 10** - Windows 11 * `x86_64-cygwin`