##// END OF EJS Templates
Merge pull request #429 from minrk/checkpid...
Merge pull request #429 from minrk/checkpid add check_pid, and handle stale PID info in ipcluster. closes gh-428.

File last commit:

r3217:5a3e42fd
r3860:050a532a merge
Show More
.gitattributes
2 lines | 54 B | text/plain | TextLexer
IPython/.git_commit_info.ini export-subst
* text=auto