mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-13 14:28:55 +08:00
The profile scripts default had to be changed.
This commit is contained in:
1 parent
7e45ee3096
commit
36b2fce030
1 file changed
+1
-1
+1
-1
@@ -45,5 +45,5 @@ def main(args):
|
|||||||
if __name__ == '__main__':
|
if __name__ == '__main__':
|
||||||
args = docopt(__doc__)
|
args = docopt(__doc__)
|
||||||
if args['<code>'] is None:
|
if args['<code>'] is None:
|
||||||
args['<code>'] = 'import numpy; numpy.array([0])'
|
args['<code>'] = 'import numpy; numpy.array([0]).'
|
||||||
main(args)
|
main(args)
|
||||||
Reference in new issue
Block a user