Update README.md

coq-io · May 10, 2015 · c64ff5d · c64ff5d
1 parent dba12c1
commit c64ff5d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Hello World
-
 [![Join the chat at https://gitter.im/clarus/coq-hello-world](https://badges.gitter.im/Join%20Chat.svg)](https://gitter.im/clarus/coq-hello-world?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
+
 A Hello World program in Coq.
 
 ## Run