Commit 1c6cfba2 authored by Ralf Jung's avatar Ralf Jung Committed by Tej Chajed
Browse files

Fix whitespace error

parent 4c89c504
Pipeline #56376 passed with stage
in 4 minutes and 36 seconds
...@@ -12,7 +12,7 @@ This release of std++ was managed by Ralf Jung, Robbert Krebbers, and Tej ...@@ -12,7 +12,7 @@ This release of std++ was managed by Ralf Jung, Robbert Krebbers, and Tej
Chajed, with contributions from Alix Trieu, Andrej Dudenhefner, Dan Frumin, Chajed, with contributions from Alix Trieu, Andrej Dudenhefner, Dan Frumin,
Fengmin Zhu, Hoang-Hai Dang, Jan, Lennard Gäher, Michael Sammler, Paolo G. Fengmin Zhu, Hoang-Hai Dang, Jan, Lennard Gäher, Michael Sammler, Paolo G.
Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum, Simon Gregersen, Giarrusso, Ralf Jung, Robbert Krebbers, Simon Friis Vindum, Simon Gregersen,
and Tej Chajed. Thanks a lot to everyone involved! and Tej Chajed. Thanks a lot to everyone involved!
- Remove singleton notations `{[ x,y ]}` and `{[ x,y,z ]}` for `{[ (x,y) ]}` - Remove singleton notations `{[ x,y ]}` and `{[ x,y,z ]}` for `{[ (x,y) ]}`
and `{[ (x,y,z) ]}`. They date back to the time we used the `singleton` class and `{[ (x,y,z) ]}`. They date back to the time we used the `singleton` class
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment