openmamba/makedist-openmamba
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Makedist plugin files for openmamba media https://openmamba.org
292 Commits 2 Branches 0 Tags 572 KiB
Shell 71.1%
Makefile 20.1%
Pascal 3.8%
HTML 3.7%
PHP 1.3%
e5292f949d
Go to file
Silvan Calarco e5292f949d Makefile.defs: add definitions following Ocaml update to 4.14
2023-08-08 10:01:47 +02:00
platforms platforms/diskimg/pre.inc.sh: update virtual disk sizes to 10GB 2023-01-27 12:27:34 +01:00
.gitignore Added a .gitignore with chache and tmp dirs excluded 2022-07-03 18:21:38 +02:00
check_deps.sh check_deps.sh: raw script to quickly check for any broken deps in generated media 2021-04-25 14:32:51 +02:00
makedist.inc.sh General fixes with current repository 2023-01-27 12:28:06 +01:00
Makefile Makefile, Makefile.defs: deps updates after java-openjdk11 and livedvd 2020-12-26 11:51:15 +01:00
Makefile.defs Makefile.defs: add definitions following Ocaml update to 4.14 2023-08-08 10:01:47 +02:00
settings.inc Makefile.defs, settings.inc: changed for dkms based VirtalBox 2013-04-09 18:16:39 +02:00