]> granicus.if.org Git - pciids/commitdiff
projects / pciids / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 21a9a31 5293b16)
Merge branch 'master' of github.com:pciutils/pciids
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Thu, 31 Oct 2019 06:52:49 +0000 (07:52 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Thu, 31 Oct 2019 06:52:49 +0000 (07:52 +0100)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.