]> mj.ucw.cz Git - pciids.git/commit
projects / pciids.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9033791) | patch
cf/head.ids: Prefer HTTPS
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 14 Oct 2018 20:38:30 +0000 (22:38 +0200)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 14 Oct 2018 20:38:30 +0000 (22:38 +0200)
commitdc750b001db132f12ac9a6cedf040e23c9040bca
treeed4f2be401b6bb04b79a32a328862ab8dea16518tree | snapshot
parent9033791892966ad6c5abce91f3744380e76fbf3ecommit | diff
cf/head.ids: Prefer HTTPS
cf/head.ids diff | blob | history
Unnamed repository; edit this file to name it for gitweb.