Merge pull request #251 from jcgruenhage/override-completions-target
commitd68346eba822bf5317341c67288f987b1ea4a8c1
authorJoão Marcos Bezerra <marcospb19@hotmail.com>
Sun, 20 Mar 2022 15:59:47 +0000 (20 12:59 -0300)
committerGitHub <noreply@github.com>
Sun, 20 Mar 2022 15:59:47 +0000 (20 12:59 -0300)
tree0cf4aa5c8a955288589cf30748cf691fc648f67a
parent4649bbc5d38848e78908be7503494946b434fb13
parent75ae1e28d55609c04730f3088f879dc73fc5d38f
Merge pull request #251 from jcgruenhage/override-completions-target

chore: allow overriding the completions output directory