Changed whitespace formatting

2023-10-03 13:03:40 +00:00 · 2016-05-18 11:35:32 -04:00
parent ff26ea6c08
commit 7c22a387f3
9 changed files with 219 additions and 186 deletions
@@ -292,7 +292,7 @@ activate themselves.
    }

 Blind Auction
-================
+=============

 The previous open auction is extended to a blind auction
 in the following. The advantage of a blind auction is