diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-07-22 12:38:18 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-07-22 12:38:18 +0200 |
| commit | f2144bf875839771884c008d704234b2a0cc2e03 (patch) | |
| tree | ddf0882e79a1a7fcf6f92dec00de861de90d24c9 /profiles/usb-boot | |
| parent | 7990c6c5454dee41ca7692e71b2d544d043178a8 (diff) | |
| download | gentoo-personal-overlay-f2144bf875839771884c008d704234b2a0cc2e03.tar.gz gentoo-personal-overlay-f2144bf875839771884c008d704234b2a0cc2e03.tar.bz2 gentoo-personal-overlay-f2144bf875839771884c008d704234b2a0cc2e03.zip | |
Add testing package python3-prctl
Diffstat (limited to 'profiles/usb-boot')
0 files changed, 0 insertions, 0 deletions