| Wed, 03 Nov 2021 20:53:52 +0100 | wenzelm | proper HTTPS; | changeset | files |
| Wed, 03 Nov 2021 20:45:02 +0100 | wenzelm | proper markup type (amending be49c660ebbf); | changeset | files |
| Wed, 03 Nov 2021 16:23:32 +0100 | wenzelm | merged; | changeset | files |
| Wed, 03 Nov 2021 16:23:20 +0100 | wenzelm | more PIDE markup; | changeset | files |
| Wed, 03 Nov 2021 16:19:49 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 Nov 2021 14:26:13 +0100 | wenzelm | more PIDE markup; | changeset | files |
| Wed, 03 Nov 2021 12:04:22 +0100 | wenzelm | recover library_index_content.template from c337c798f64c: required for website/build/main; | changeset | files |