fr33domlover 21b7325c1b Rename role related tables to reflect the role unification ... There used to be project roles and repo roles, and they were separate. A while ago I merged them, and there has been a single role system, used with both repos and projects. However the table names were still "ProjectRole" and things like that. This patch renames some tables to just refer to a "Role" because there's only one kind of role system.		2019-05-31 15:02:57 +00:00
..
favicon.ico	Bring Yesod scaffolding	2016-02-13 03:35:30 +00:00
keter.yml	Bring Yesod scaffolding	2016-02-13 03:35:30 +00:00
models	Rename role related tables to reflect the role unification	2019-05-31 15:02:57 +00:00
robots.txt	Bring Yesod scaffolding	2016-02-13 03:35:30 +00:00
routes	Use path segment in HighlightStyleR, addStylesheet doesn't support query params	2019-05-27 19:54:11 +00:00
settings-default.yaml	Make pandoc highlight style configurable in settings and in query parameter	2019-05-27 18:30:48 +00:00
test-settings.yml	Move some files around, tweak the generated code a bit	2016-02-14 09:10:21 +00:00