Merge branch 'work/switch_Gitlab_2' into 'master'
Several changes due to the switch to Gitlab
See merge request utilities/krusader!16
asensi | Jun 24 2020, 10:54 PM |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
671a83058726 | asensi | Several changes due to the switch to Gitlab | Jun 24 2020 |