Files
Janis Hutz 96da3d8334 Rename file
2026-01-06 07:11:06 +00:00

603 B

Updated summary

Additional information

Any information you consider worth mentioning

Checklist

  • The summary is compiled.
  • All relevant files for compilation are included.
  • There are no generated files included. Ignore new generated files in the gitignore file if needed.
  • The style of the document is roughly similar
  • I have not changed the helper import statement or reverted it before opening the PR