Skip to content

freedesktop-sdk: really use 18.08.13

Abderrahim Kitouni requested to merge abderrahim/freedesktop-sdk-18.08.13-real into gnome-3-30

and remove the unused junction.refs

Fixes #84 (closed)

Merge request reports