]> mj.ucw.cz Git - pciutils.git/history - maint/push-to-public
projects / pciutils.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
libpci: Update manpage documentation for devmem.path
[pciutils.git] / maint / push-to-public
2024-03-29 Martin Maresmaint/push-to-public: git push --tags requires branches blob | commitdiff | raw
2024-03-13 Martin MaresMerge remote-tracking branch 'github/master' blob | commitdiff | raw | diff to current
2024-03-12 Martin MaresMerge remote-tracking branch 'github/master' blob | commitdiff | raw | diff to current
2024-02-26 Martin Maresmaint/push-to-public: Push including tags blob | commitdiff | raw | diff to current
2024-02-23 Martin MaresMerge branch 'amiga' blob | commitdiff | raw | diff to current
2024-02-18 Martin MaresMaint: Added a script for pushing to both public repos blob | commitdiff | raw | diff to current
The PCI Utilities