##// END OF EJS Templates
Merge pull request #8059 from minrk/deselect-click...
Merge pull request #8059 from minrk/deselect-click deselect all when clicking partial checkbox
Matthias Bussonnier -
r20782:b60c7135 merge
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / services
kernels
sessions
config.js Loading ...
contents.js Loading ...