Read \profile and \settings once (fixes #1738) #3007
Continuation of https://git.key-project.org/key/key/-/merge_requests/636. Two proof files have been changed so that the settings are listed first in the file.
Artifacts
- 10. Mar 2023 15:25 (3406.71 kB large)
- 10. Mar 2023 14:32 (3076.24 kB large)
- 10. Mar 2023 04:03 (3412.22 kB large)
- 09. Mar 2023 20:28 (3067.30 kB large)
- 09. Mar 2023 16:02 (3382.58 kB large)
- 08. Mar 2023 20:11 (3382.05 kB large)
- 08. Mar 2023 15:45 (3384.82 kB large)
- 24. Feb 2023 00:12 (3410.64 kB large)
- 15. Feb 2023 15:26 (1293.74 kB large)
- 06. Feb 2023 12:55 (1293.06 kB large)
- 02. Feb 2023 16:39 (1379.09 kB large)
- 31. Jan 2023 19:36 (1394.32 kB large)
- 31. Jan 2023 15:51 (1410.79 kB large)