makedist/makedist
Silvan Calarco 791a2fe8f3 Release 2.8.0 2024-04-13 17:23:52 +02:00
..
global Initial commit 2011-05-04 02:30:35 +02:00
Makefile Sync with current production server 2023-08-07 12:33:15 +02:00
VERSION Release 2.8.0 2024-04-13 17:23:52 +02:00
defs.inc.sh Sync with current production server 2023-08-07 12:33:15 +02:00
functions.inc.sh functions.inc.sh: sync with changes in current production server 2024-04-13 16:49:26 +02:00
makedist makedist/defs.inc.sh, config: better configuration of REPODATA_URL as array for each repository 2022-07-03 17:50:34 +02:00
makedist-announcement.sh makedist-announcement: fix after media distversion switch from devel to rolling 2023-08-07 19:25:25 +02:00
makedist.sh Sync with current production server 2023-08-07 12:33:15 +02:00
mkisofs.sort Initial commit 2011-05-04 02:30:35 +02:00