Tip: how to add the Travis status icon in a PR #1256

Merged
merged 1 commit into from Apr 19, 2012
Commits on Apr 13, 2012
  1. @vicb