Use Astrobox dev dir by default

This commit is contained in:
2023-12-10 10:07:06 +01:00
parent 2ab379d249
commit 94d1537497
2 changed files with 7 additions and 2 deletions

View File

@@ -8,8 +8,8 @@ return {
},
{
name = "astrobox",
-- dir = "~/Workspace/astrobox/",
url = "https://git.niverton.tk/niverton/Astrobox.git",
dev = true, -- Use local dir if available
opts = {
contrast = "hard"
}