##// 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 | 87 B | text/x-python | PythonLexer
try:
from jsonpointer import *
except ImportError :
from _jsonpointer import *