Skip to content

GitLab

Explore

Sign in

X

xml-to-prelude

Project information

Convert XML to a format for prelude-manager.

2 Commits
2 Branches
0 Tags

Created on

February 04, 2022

Copy SSH clone URLgit@mygit.th-deg.de:ds07179/xml-to-prelude.git
Copy HTTPS clone URLhttps://mygit.th-deg.de/ds07179/xml-to-prelude.git

Loading