##// END OF EJS Templates
Merge pull request #7826 from SylvainCorlay/color_trait...
Merge pull request #7826 from SylvainCorlay/color_trait Adding a Color trait type and using it for widget styling
Min RK -
r20802:d6cb4618 merge
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / services
kernels
sessions
config.js Loading ...
contents.js Loading ...