diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-10-22 11:19:39 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-10-22 11:19:39 +0200 |
| commit | 3ce0824c424e5f59e4bc89312f1fb579e311ee52 (patch) | |
| tree | 29ee46bc6179ca9e0d66fcbefd80366b6cc9dce9 /profiles/laptop/parent | |
| parent | 3cbbd8fe8b50039b2515a91129001da2262266ec (diff) | |
| download | gentoo-personal-overlay-3ce0824c424e5f59e4bc89312f1fb579e311ee52.tar.gz gentoo-personal-overlay-3ce0824c424e5f59e4bc89312f1fb579e311ee52.tar.bz2 gentoo-personal-overlay-3ce0824c424e5f59e4bc89312f1fb579e311ee52.zip | |
dev-python/pyls: try to fix compilation and small change in python-prctl
Diffstat (limited to 'profiles/laptop/parent')
0 files changed, 0 insertions, 0 deletions