##// END OF EJS Templates
Divided settings manager into base settings manager class and session-based settings manager. This allowes to add other backends to the settings manager
Divided settings manager into base settings manager class and session-based settings manager. This allowes to add other backends to the settings manager
neko259 -
r730:447bb8d7 2.0-dev
Show More
Name Size Modified Last Commit Author
/ boards / models
__init__.py Loading ...
base.py Loading ...
image.py Loading ...
post.py Loading ...
tag.py Loading ...
thread.py Loading ...
user.py Loading ...