This repository has been archived on 2025-10-07. You can view files and clone it, but cannot push or open issues or pull requests.

Rodrigo Arias Mallo ee6f981006 Add script to trim the repository ...

Reviewed-by: Aleix Boné <abonerib@bsc.es>

2025-10-02 15:44:56 +02:00

..

install.md

Add documentation section about GRUB chain loading

2024-09-12 08:36:47 +02:00

trim.sh

Add script to trim the repository

2025-10-02 15:44:56 +02:00