diff options
Diffstat (limited to 'subprojects/pinkindexer.wrap')
-rw-r--r-- | subprojects/pinkindexer.wrap | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/subprojects/pinkindexer.wrap b/subprojects/pinkindexer.wrap new file mode 100644 index 00000000..26f98b37 --- /dev/null +++ b/subprojects/pinkindexer.wrap @@ -0,0 +1,8 @@ +[wrap-git] +directory = pinkindexer +url = https://gitlab.desy.de/thomas.white/pinkindexer.git +revision = main +depth = 1 + +[provide] +pinkindexer = pinkindexer_dep |