diff options
| author | mail_redacted_for_web | 2022-06-30 12:28:06 +0200 |
|---|---|---|
| committer | mail_redacted_for_web | 2022-06-30 12:28:06 +0200 |
| commit | 4033e160c5e68e18252a3d3e5b86b7f97688dd26 (patch) | |
| tree | ad1dba0a2aa345b024fe602f0bb98fe4127bed4e /.bash_profile | |
| parent | 2891498a5cfe17c397288c658ab3fa98cc82dda6 (diff) | |
| download | dotfiles-4033e160c5e68e18252a3d3e5b86b7f97688dd26.tar.bz2 | |
Make sure DFDISTRIB is not empty
Diffstat (limited to '.bash_profile')
0 files changed, 0 insertions, 0 deletions