Florian Scholdei c579de108f Option to create a permanent link to a source file ...

Adds a new button next to the breadcrumbs in the source view that allows users to create a permanent link to the active path (file or folder).

2021-01-07 10:15:50 +01:00

..

admin

Add documentation

2020-10-30 14:24:31 +01:00

group

improve documentation

2020-07-21 14:04:37 +02:00

profile

Clarify texts

2020-11-26 11:01:01 +01:00

repo

Option to create a permanent link to a source file

2021-01-07 10:15:50 +01:00

user

Feature/profile navigation (#1464)

2020-12-16 09:23:05 +01:00