This repository was archived by the owner on Mar 5, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 118
Pull requests: mongodb/docs-tools
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
deploy: incremental improvements to deployment pushes
#13
by tychoish
was merged Oct 23, 2013
Loading…
Have a dedicated page for Google Custom search results
#11
by rawfalafel
was closed Sep 13, 2013
Loading…
minor, optional: change link color, style in footer to match header
#8
by epc
was closed Oct 25, 2013
Loading…
DOCS-1659: setting all admonition boxes to same size / padding
#4
by schmalliso
was closed Jul 23, 2013
Loading…
css: left aligning <pre>s so are inline with paragraph
#2
by schmalliso
was closed Jun 27, 2013
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:master.