add 'package' and 'devShell' arguments #58

Closed
jenr24G wants to merge 1 commit from jenr24-select-package-shell into master
jenr24G commented 2023-09-29 01:07:33 +00:00 (Migrated from github.com)
No description provided.

Pull request closed

Sign in to join this conversation.
No description provided.