Skip to content

Commit

Permalink
profiles/updates: dev-gap package capitalisation
Browse files Browse the repository at this point in the history
  • Loading branch information
@kiwifb
kiwifb committed Jan 22, 2024
1 parent ce87f45 commit 21145b1
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions profiles/updates/1Q-2024
View file
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 21145b1

Please sign in to comment.