projects
/
gnus
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Push after final change.
[gnus]
/
makepub
2011-02-22
Lars Ingebrigtsen
Push after final change.
blob
|
commitdiff
2011-02-22
Lars Ingebrigtsen
Push the tag explicitly to avoid pushing private tags.
blob
|
commitdiff
|
diff to current
2011-02-21
Lars Ingebrigtsen
Increase the version numbers twice to get easier tag...
blob
|
commitdiff
|
diff to current
2011-02-21
Lars Ingebrigtsen
Fix some errors.
blob
|
commitdiff
|
diff to current
2011-02-21
Lars Ingebrigtsen
Check in the new git-based makepub.
blob
|
commitdiff
|
diff to current