Fix "push tag" command.
[gnus] / makepub
2011-03-17 Lars Magne Ingebri... Fix "push tag" command.
2011-02-22 Lars IngebrigtsenFix tag pushing.
2011-02-22 Lars IngebrigtsenPush after final change.
2011-02-22 Lars IngebrigtsenPush the tag explicitly to avoid pushing private tags.
2011-02-21 Lars IngebrigtsenIncrease the version numbers twice to get easier tag...
2011-02-21 Lars IngebrigtsenFix some errors.
2011-02-21 Lars IngebrigtsenCheck in the new git-based makepub.