Documentation: note that shell needs to be restarted after editing ~/.bashrc#204
Open
jernst wants to merge 1 commit into
Open
Documentation: note that shell needs to be restarted after editing ~/.bashrc#204jernst wants to merge 1 commit into
jernst wants to merge 1 commit into
