]> mj.ucw.cz Git - pciids.git/commit
projects / pciids.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed588db) | patch
ids_to_dbdump is still needed by the mailbot master
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Mon, 4 Mar 2024 17:00:14 +0000 (18:00 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Mon, 4 Mar 2024 17:00:14 +0000 (18:00 +0100)
commit77cb2189d59154bc475f4bf23d09ff86c4e0519c
treeab3ba526ced3e9ce3c9190b6ba12e88c2480b936tree | snapshot
parented588db29123bf19f758a9bf5dd4828b6b8db2fccommit | diff
ids_to_dbdump is still needed by the mailbot
scripts/ids_to_dbdump [new file with mode: 0755] blob
scripts/mailbot diff | blob | history
Unnamed repository; edit this file to name it for gitweb.