]>
2024-03-29 | Martin Mares | maint/push-to-public: git push --tags requires branches | blob | commitdiff | raw |
2024-03-13 | Martin Mares | Merge remote-tracking branch 'github/master' | blob | commitdiff | raw | diff to current |
2024-03-12 | Martin Mares | Merge remote-tracking branch 'github/master' | blob | commitdiff | raw | diff to current |
2024-02-26 | Martin Mares | maint/push-to-public: Push including tags | blob | commitdiff | raw | diff to current |
2024-02-23 | Martin Mares | Merge branch 'amiga' | blob | commitdiff | raw | diff to current |
2024-02-18 | Martin Mares | Maint: Added a script for pushing to both public repos | blob | commitdiff | raw | diff to current |