##// END OF EJS Templates
reduce height of notification_widget by a few pixels
reduce height of notification_widget by a few pixels

File last commit:

r8525:61ef7793
r10957:9cd23a66
Show More
__init__.py
4 lines | 85 B | text/x-python | PythonLexer
try:
from jsonschema import *
except ImportError :
from _jsonschema import *