⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
Hydrilla
All Projects
Hydrilla
+
New issue
Overview
Activity
Issues
News
Wiki
Forums
Files
Repository
«
Previous
|
Next
»
Revision 46ac9446
Added by
koszko
about 1 year
ago
ID
46ac94463bf42c6a071c258a37b2a58e88e0dfaa
Parent
dd332603
Child
12ff7250
make it possible to list all repositories in the web UI
Changes
View differences
added
modified
copied
renamed
deleted
src
hydrilla
proxy
state.py
(
diff
)
state_impl
concrete_state.py
(
diff
)
mappings.py
(
diff
)
repos.py
tables.sql
(
diff
)
web_ui
packages.py
(
diff
)
repos.py
(
diff
)
templates
base.html.jinja
(
diff
)
include
checkbox_tricks_style.css.jinja
item_list_style.css.jinja
packages.html.jinja
(
diff
)
packages__show_single.html.jinja
(
diff
)
repos.html.jinja
(
diff
)
repos__show_single.html.jinja
Loading...
make it possible to list all repositories in the web UI