Simon Michael ef1bd24edc web: don't disable /add PUT with --serve-api, that's considered API		2019-08-17 17:17:30 +01:00
..
AddR.hs	web: don't disable /add PUT with --serve-api, that's considered API	2019-08-17 17:17:30 +01:00
EditR.hs	web: --serve-api disables server-side UI; startup logging cleanups	2019-08-16 23:55:56 -07:00
JournalR.hs	web: --serve-api disables server-side UI; startup logging cleanups	2019-08-16 23:55:56 -07:00
MiscR.hs	web: --serve-api disables server-side UI; startup logging cleanups	2019-08-16 23:55:56 -07:00
RegisterR.hs	web: --serve-api disables server-side UI; startup logging cleanups	2019-08-16 23:55:56 -07:00
UploadR.hs	web: --serve-api disables server-side UI; startup logging cleanups	2019-08-16 23:55:56 -07:00