From 21145b1cf032528b1716683fddeb4461d4cb7c69 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Bissey?= Date: Tue, 23 Jan 2024 09:55:19 +1300 Subject: [PATCH] profiles/updates: dev-gap package capitalisation --- profiles/updates/1Q-2024 | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 profiles/updates/1Q-2024 diff --git a/profiles/updates/1Q-2024 b/profiles/updates/1Q-2024 new file mode 100644 index 000000000..6e64bd9a5 --- /dev/null +++ b/profiles/updates/1Q-2024 @@ -0,0 +1,6 @@ +move dev-gap/SmallGrp dev-gap/smallgrp +move dev-gap/GAPDoc dev-gap/gapdoc +move dev-gap/Alnuth dev-gap/alnuth +move dev-gap/AutoDoc dev-gap/autodoc +move dev-gap/HAPcryst dev-gap/hapcryst +move dev-gap/MapClass dev-gap/mapclass