Silvan Calarco 53981f2724 Minor sync of files from production server

2022-07-03 16:37:21 +02:00

..

makedist-announcement

Minor sync of files from production server

2022-07-03 16:37:21 +02:00

makedist-newrelease

makedist-newrelease: fix reference to cron file after renaming

2013-03-07 17:34:58 +01:00

makedist-recordvm

Major sync to current used version

2015-03-15 00:24:14 +01:00