clan/clan-core
12
4
Fork 17
Code Issues 99 Pull Requests 5 Actions Packages Projects 1 Releases Wiki Activity

clan-cli: also source parent devshell #52

Merged
clan-bot merged 1 commits from cli-prep into main 2023-07-28 13:29:20 +00:00
Conversation 0 Commits 1 Files Changed 1 +2 -1

1 Commits

Author SHA1 Message Date
Jörg Thalheim
9a8c1d5e7a clan-cli: also source parent devshell
All checks were successful
build / test (push) Successful in 13s
Details
2023-07-28 15:28:27 +02:00