diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2020-08-18 10:35:33 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2020-08-18 10:35:33 +0000 |
| commit | 395898b5054ca9fc45592782f13cb0c6fe7eca6e (patch) | |
| tree | 584a328c56511d2838d9f415b2264da4efb509dc /dev-libs/starpu | |
| parent | 2020-08-18 10:05:43 UTC (diff) | |
| parent | sys-libs/libosinfo: fix mixed up usb.ids and pci.ids options (diff) | |
| download | gentoo-395898b5054ca9fc45592782f13cb0c6fe7eca6e.tar.gz gentoo-395898b5054ca9fc45592782f13cb0c6fe7eca6e.tar.bz2 gentoo-395898b5054ca9fc45592782f13cb0c6fe7eca6e.zip | |
Merge updates from master
Diffstat (limited to 'dev-libs/starpu')
0 files changed, 0 insertions, 0 deletions