##// END OF EJS Templates
Merge pull request #7688 from minrk/callable-interrupt...
Merge pull request #7688 from minrk/callable-interrupt check if SIGINT handler is callable before triggering it

File last commit:

r19656:c4fbb9a4
r20349:a8827f0e merge
Show More
override.css
7 lines | 310 B | text/css | CssLexer
/*This file contains any manual css for this page that needs to override the global styles.
This is only required when different pages style the same element differently. This is just
a hack to deal with our current css styles and no new styling should be added in this file.*/
body {
overflow: hidden;
}