##// END OF EJS Templates
Merge pull request #3338 from takluyver/i3316...
Min RK -
r11351:84e8bb08 merge
parent child Browse files
Show More
@@ -82,7 +82,7 b' def _find_cmd(cmd):'
82 path = None
82 path = None
83 for ext in extensions:
83 for ext in extensions:
84 try:
84 try:
85 path = SearchPath(PATH, cmd + ext)[0]
85 path = SearchPath(PATH, cmd, ext)[0]
86 except:
86 except:
87 pass
87 pass
88 if path is None:
88 if path is None:
General Comments 0
You need to be logged in to leave comments. Login now