Move documentation into repository

Issue created by @twiesing

Merge request !9Resolve #3544557 "Move documentation into" → (Merged) created by twiesing

twiesing → committed 2d396180 on 8.x-4.x

Resolve #3544557 "Move documentation into"

First commit to issue fork.

Merge request !11Resolve #3544557 "Update docs" added gitlab pages. → (Closed) created by rnsrk

Comment about 1 month ago →

System Message

rnsrk → closed merge request !11

Merge request !12Resolve #3544557 "Update docs" add pages → (Closed) created by rnsrk

Comment about 1 month ago →

System Message

rnsrk → closed merge request !12

Merge request !13Resolve #3544557 "Update docs" add pages → (Merged) created by rnsrk

Comment about 1 month ago →

System Message

rnsrk → closed merge request !13

Comment about 1 month ago →

System Message

rnsrk → reopened merge request !13

Comment about 1 month ago →

System Message

rnsrk → committed f5a7a808 on 8.x-4.x

Resolve #3544557 "Update docs" add pages

Merge request !14Resolve #3544557 "Update docs" → (Merged) created by rnsrk

Comment about 1 month ago →

System Message

rnsrk → committed 098044bc on 8.x-4.x
```
Resolve #3544557 "Update docs"
```

Merge request !15Resolve #3544557 "Update docs" → (Merged) created by rnsrk

Comment about 1 month ago →

System Message

rnsrk → committed aa4be63b on 8.x-4.x
```
Resolve #3544557 "Update docs"
```

First commit to issue fork.

Merge request !22docs: Add entries for Ontology → (Merged) created by kaiamann

Move documentation into repository

Merge Requests

!22Move documentation into repository
Merged

!15Move documentation into repository
Merged

!14Move documentation into repository
Merged

!13Move documentation into repository
Merged

!12Move documentation into repository
Closed

!11Move documentation into repository
Closed

!9Move documentation into repository
Merged

Comments & Activities

Move documentation into repository

Merge Requests

!22Move documentation into repositoryMerged

!15Move documentation into repositoryMerged

!14Move documentation into repositoryMerged

!13Move documentation into repositoryMerged

!12Move documentation into repositoryClosed

!11Move documentation into repositoryClosed

!9Move documentation into repositoryMerged

Comments & Activities

!22Move documentation into repository
Merged

!15Move documentation into repository
Merged

!14Move documentation into repository
Merged

!13Move documentation into repository
Merged

!12Move documentation into repository
Closed

!11Move documentation into repository
Closed

!9Move documentation into repository
Merged