]> mj.ucw.cz Git - pciids.git/commit
Use #!/bin/bash
authorThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 29 Oct 2023 13:29:17 +0000 (14:29 +0100)
committerThe PCI ID Mail Robot <pci-admins@ucw.cz>
Sun, 29 Oct 2023 13:29:17 +0000 (14:29 +0100)
commit4f60ca53a1246660188593269e793e68d774c95f
tree7c503269b20844619b67f7a93e42ee5c70a13abb
parent57755109bba219d5047b1f90b5a566de3a06af2b
Use #!/bin/bash
scripts/init
scripts/update-github.sh
scripts/update-sf.pl