A set of tools for repository-level automatic builds
Updated 2024-05-02 19:28:18 +02:00
Makedist plugin files for openmamba media
Updated 2024-04-14 17:05:52 +02:00
openmamba default desktop theme and menu entries
Updated 2024-04-05 19:48:02 +02:00
Wordpress theme for openmamba website.
Updated 2024-03-20 16:47:57 +01:00
A tool for maintaining an RPM based distribution.
Updated 2024-01-04 18:42:55 +01:00
A script with a GUI frontend to install openmamba into a removable storage device.
Updated 2024-01-04 18:44:00 +01:00