##// END OF EJS Templates
jquery-ui.custom has been renamed
jquery-ui.custom has been renamed

File last commit:

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