Update README_TRAVIS.md

WabashOS · Mar 28, 2017 · ab300f7 · ab300f7
1 parent 3fc74f3
commit ab300f7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/README_TRAVIS.md b/README_TRAVIS.md
@@ -6,8 +6,6 @@ This is because someone committed a PR to `master` which bumped `riscv-tools` an
 This is the procedure to follow to get 
 things fast again. We don't generally build on merges to master, just PRs.
 
-##
-
 1. Wait for your PR that you want to merge to go green. This will take a long time.
 2. On Travis, click `More Options -> Caches` on the upper right.
 3. Click `Delete all Repository Caches`.