diff options
| author | tv <tv@krebsco.de> | 2023-01-11 16:53:26 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2023-01-11 17:23:48 +0100 |
| commit | ab8139704a331b88d72d533ac4206464ae069f7c (patch) | |
| tree | 9116cfbae3f342024b1aa2ba7daf9643ce92246a /kartei | |
| parent | 59a447ac046424c27fa926a2416885c4f6724a7a (diff) | |
tv bash: optionally source $BASH_EXTRA_INIT
Diffstat (limited to 'kartei')
0 files changed, 0 insertions, 0 deletions