##// END OF EJS Templates
ui: hide empty no repos or no repo groups display. It often happens that starting...
ui: hide empty no repos or no repo groups display. It often happens that starting page is just a list of groups. Showing always no repos doesn't look good. - also show empty panel for a case when both are empty

File last commit:

r1:854a839a default
r2447:9ef21084 default
Show More
config.py
14 lines | 339 B | text/x-python | PythonLexer
#!/usr/bin/python
# -*- coding: utf-8 -*-
from sqlalchemy.util import OrderedDict
__all__ = ['databases', 'operations']
databases = ('sqlite', 'postgres', 'mysql', 'oracle', 'mssql', 'firebird')
# Map operation names to function names
operations = OrderedDict()
operations['upgrade'] = 'upgrade'
operations['downgrade'] = 'downgrade'