diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-04-01 19:59:01 +0200 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2024-04-01 19:59:01 +0200 |
| commit | 33343f96d94f2d7f12567b1c227e4e2399c8bd1b (patch) | |
| tree | 16b5ef80ee4605ce88410911fbb6beb6dfc1d7b2 /other | |
| parent | 4fc39dcd54243609febc1ce4c8a1470b3d31fd47 (diff) | |
| parent | 98aa28427350e72cb9abe4071c0c6b6870b7e6cc (diff) | |
merge mzuenni changes
Diffstat (limited to 'other')
| -rw-r--r-- | other/stuff.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/other/stuff.cpp b/other/stuff.cpp index 38fde78..41543ad 100644 --- a/other/stuff.cpp +++ b/other/stuff.cpp @@ -6,8 +6,7 @@ setxkbmap de setxkbmap de,us -option grp:alt_space_toggle // Schnelle Ein-/Ausgabe mit cin/cout. -ios::sync_with_stdio(false); -cin.tie(nullptr); +cin.tie(nullptr)->ios::sync_with_stdio(false); // Set mit eigener Sortierfunktion. set<point2, decltype(comp)> set1(comp); |