diff options
| author | Oliver Sander <oliver.sander@tu-dresden.de> | 2019-12-17 21:06:31 +0100 |
|---|---|---|
| committer | Oliver Sander <oliver.sander@tu-dresden.de> | 2019-12-17 21:06:31 +0100 |
| commit | 42d5e54134ca82c96cb29e672e71e924d75526cf (patch) | |
| tree | 70ccedacd04970afd249962f4ee0fbf7be69da5d /splash | |
| parent | 62ae50571b1b0dca5369be76a962380b4c6e276a (diff) | |
Make StateList assignable
Because it is already copy-constructible, and having one without
the other is weird.
Diffstat (limited to 'splash')
0 files changed, 0 insertions, 0 deletions