Pull requests: jgm/gitit
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fixed a problem with preview on Safari 5.0.2 (and possibly others)
#17
by sseefried
was merged Nov 13, 2010
Loading…
Listen interface explanation on help file could be more clear (#266)
#267
by andyring
was merged Jul 27, 2011
Loading…
Interwiki.hs: annual update following http://secure.wikimedia.org/wikipe...
#285
by gwern
was merged Feb 7, 2012
Loading…
supply $revision$ at _diff if "Changes from beginning to ..."
#331
by ayamada
was merged Dec 31, 2012
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.