Resolve "create user manual" - [merged]

[fgardt]

In GitLab by @mm1398 on May 19, 2023, 15:21

Merges docs/42-create-user-manual -> master

What this MR does / why we need it:

• wrote a User Manual

Make sure that you've checked the box below before you submit MR:

Which platform/language

Which issue this MR fixes (optional)

CHANGELOG/Release Notes (optional)

_{*For more information check out the wiki : https://gitlab.uni-ulm.de/groups/se-anwendungsprojekt-22-23/-/wikis/Convention#documentation}

Closes #42

[fgardt]

In GitLab by @mm1398 on May 19, 2023, 15:23

added 1 commit

• 8611e48f - docs: added user manual

Compare with previous version

[fgardt]

In GitLab by @mm1398 on May 19, 2023, 15:23

requested review from @Slartibartfass2

[fgardt]

In GitLab by @Slartibartfass2 on May 21, 2023, 14:58

removed review request for @Slartibartfass2

[fgardt]

In GitLab by @mm1398 on May 22, 2023, 01:52

requested review from @Merseleo

[fgardt]

In GitLab by @mm1398 on May 22, 2023, 02:05

added 1 commit

• 049e3045 - docs: refactor user manual

Compare with previous version

[fgardt]

In GitLab by @Merseleo on May 22, 2023, 02:24

marked this merge request as ready

[fgardt]

In GitLab by @mm1398 on May 22, 2023, 03:14

added 1 commit

• 876dfae8 - docs: updated user manual

Compare with previous version

[fgardt]

In GitLab by @Merseleo on May 22, 2023, 03:23

added 1 commit

• 01200937 - ci: created job for compiling and (optional) committing of user manual

Compare with previous version

[fgardt]

In GitLab by @Merseleo on May 22, 2023, 03:25

approved this merge request

[fgardt]

In GitLab by @Merseleo on May 22, 2023, 03:25

enabled an automatic merge when the pipeline for 012009376e29176a0a7906f63f98882575dbe1b6 succeeds

[fgardt]

In GitLab by @Merseleo on May 22, 2023, 03:32

mentioned in commit 0447ca44d4f35c7918020817cdd67fac91365154