diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-09-01 20:57:56 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-09-01 20:57:56 -0400 |
| commit | a71a12e16a9d94484e15141b4dea7f37f4091abd (patch) | |
| tree | 7d65fb09c9dd8ba0bc4d5f03fab3b96c06c3f583 /rc.org | |
| parent | ca79fa96a8ff32996afe678089f446d57bf85260 (diff) | |
| download | configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.tar.gz configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.tar.xz configs-a71a12e16a9d94484e15141b4dea7f37f4091abd.zip | |
shell: set INFOPATH properly
Diffstat (limited to 'rc.org')
0 files changed, 0 insertions, 0 deletions