Licence file formatting

Ignore-this: b3f6be83d24f55e895dd80c1f4dbf7b3 darcs-hash:20130407084723-08f32-ac1672600d0ccaf94b3c004e6e2cd16d3c3e3f77
discus-lang · Apr 7, 2013 · f309a80 · f309a80
1 parent f30e279
commit f309a80
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/LICENSE b/LICENSE
@@ -5,5 +5,7 @@ The redistribution of LibTactics.v falls under the LGPL-v3 license.
 
 All other files are hereby released into the Public Domain.
 
-If anyone gets any re-use out of this work then I would appreciate an email
-summarising what parts of it were helpful: Ben Lippmeier <iron (wibble) ouroborus.net>
+If anyone gets any re-use out of this work then I would appreciate an 
+email summarising what parts of it were helpful: 
+                          Ben Lippmeier <iron (wibble) ouroborus.net>
+