chore(shell): add agenix #123

Merged
thubrecht merged 1 commit from add-agenix-shell into main 2024-09-10 20:18:40 +02:00
Owner
No description provided.
thubrecht force-pushed add-agenix-shell from 49ac8b4a04 to dea475cea9 2024-09-10 20:12:25 +02:00 Compare
thubrecht merged commit dea475cea9 into main 2024-09-10 20:18:40 +02:00
thubrecht deleted branch add-agenix-shell 2024-09-10 20:18:41 +02:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: DGNum/infrastructure#123
No description provided.