Whitespace

2013-01-22 13:19:08 +01:00 · 2013-01-22 13:19:08 +01:00 · fc39034772
commit fc39034772
parent ef37597c39
2 changed files with 4 additions and 3 deletions
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@ -253,3 +253,4 @@ div.affiliation
 {
    font-style: italic;
 }