diff options
| author | Pierre Bourdon <delroth@gmail.com> | 2024-06-08 16:57:08 +0200 |
|---|---|---|
| committer | Jade Lovelace <lix@jade.fyi> | 2024-06-12 15:34:23 -0700 |
| commit | 248ecb11af9a5ebc6259f082c630197efd1730f3 (patch) | |
| tree | ce5e0526e5f4de87a3d89e2d60fa950f53cf1057 /.github | |
| parent | 73898cad0e1dd99f63b24a6bf7cd21b9501c6d81 (diff) | |
dev shell: Add bashInteractive
This was bothersome to me as a zsh+direnv user.
Change-Id: Ia5b54cc63647a5c6ced2b5412e972dac1abf8184
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions