July 2023 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jul 10 09:48:05 JST 2023
Ending: Tue Jul 25 18:50:36 JST 2023
Messages: 3

• [SICOPOLIS:133] Branch 'master' renamed to 'main'; more frequent updates   Ralf Greve
• [SICOPOLIS:135] SICOPOLIS website   Ralf Greve
• [SICOPOLIS:134] Updating local clones of the SICOPOLIS repository   Ralf Greve

Last message date: Tue Jul 25 18:50:36 JST 2023
Archived on: Tue Jul 25 18:50:38 JST 2023

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...