Add resources for Linux users (!5) · Merge requests · TDT4102 / VS-Code / resources - DEPRECATED use new repository instead

Henriette Andersen requested to merge linux-resources into master Sep 07, 2021

This reverts commit 3754fe94. It was only a test for download-feature in the extension, buy bumping up version number of resource.

Edited Sep 07, 2021 by Henriette Andersen

Add resources for Linux users