Selection history (back + forward button) #3006
Continuation of https://git.key-project.org/key/key/-/merge_requests/629 (all review comments addressed)
Artifacts
- 04. Mar 2023 16:20 (3378.62 kB large)
- 04. Mar 2023 13:35 (3379.79 kB large)
- 03. Mar 2023 21:13 (3379.56 kB large)
- 24. Feb 2023 11:37 (3406.74 kB large)
- 23. Feb 2023 23:47 (3406.43 kB large)
- 16. Feb 2023 16:49 (1287.78 kB large)
- 02. Feb 2023 16:21 (1372.76 kB large)
- 31. Jan 2023 15:22 (1386.90 kB large)