Zlatin Balevsky 5c773cec80 more css changes from zzz		2019-12-20 16:19:00 +00:00
..
locale	delete duplicate translation	2019-12-19 20:14:24 +00:00
src/main	more css changes from zzz	2019-12-20 16:19:00 +00:00
templates	rewrite welcome jsp to a servlet, add sanity check of inputs	2019-12-15 16:16:11 +00:00
build.gradle	table styling and caret on the file tree from zzz	2019-12-11 14:40:49 +00:00
bundle-messages.sh	Translation infrastructure, thanks to zzz	2019-12-09 15:17:13 +00:00