mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-10 07:05:50 +08:00
Small doc improvement in sith.py
This commit is contained in:
1 parent
336ab32345
commit
84ba8bbca1
1 file changed
+1
-1
@@ -6,7 +6,7 @@ Sith attacks (and helps debugging) Jedi.
|
|||||||
Randomly search Python files and run Jedi on it. Exception and used
|
Randomly search Python files and run Jedi on it. Exception and used
|
||||||
arguments are recorded to ``./record.json`` (specified by --record)::
|
arguments are recorded to ``./record.json`` (specified by --record)::
|
||||||
|
|
||||||
%(prog)s random
|
%(prog)s random /path/to/sourcecode
|
||||||
|
|
||||||
Redo recorded exception::
|
Redo recorded exception::
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user