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

Cayo Puigdefabregas 2d7e1fdffd fix script		2022-07-12 13:59:56 +02:00
..
extract_uuid.py	move extract_uuid to script folder	2022-07-12 10:11:30 +02:00
extract_uuids.sh	fix script	2022-07-12 13:59:56 +02:00