diff options
| author |  jesopo | 2019-10-08 14:48:39 +0100 |
|---|---|---|
| committer | jesopo | 2019-10-08 14:48:39 +0100 |
| commit | a5e489655de806590d9cc55ae9bada85cfb5dd3d (patch) | |
| tree | a04c92dd58039e289a8b8fe8e54c32b8f06d0067 /.gitignore | |
| parent | add !apropos - to show commands with a given string in them (diff) | |
move !which to help.py
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions