##// END OF EJS Templates
trigger default remote_profile_dir when profile_dir is set...
trigger default remote_profile_dir when profile_dir is set in SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.

File last commit:

r7607:16e1f096
r8596:117d46e0
Show More
ipynb_icon.icns
0 lines | 121.5 KiB | application/octet-stream | TextLexer
/ docs / resources / ipynb_icon.icns
Binary file (application/octet-stream)