diff options
author | Fred Hebert <mononcqc@ferd.ca> | 2018-07-11 14:35:55 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-11 14:35:55 -0400 |
commit | 608a1aa865a7cff6ea4c263d38ec34c21b82c8fa (patch) | |
tree | 771ff45caedfe9da04d0447dc856f98f9b703eb1 /README.md | |
parent | 940b1c594fdc54ae5d68f7fb8756e1b95d29e576 (diff) | |
parent | 6c7e2e3826ae9f444c2c2243d7a451f53d86edd8 (diff) |
Merge pull request #1780 from feng19/refresh_paths
smarter shell code reloading, add env options for refresh_paths & refresh_paths_blacklist
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions