# HG changeset patch # User casties # Date 1444139784 0 # Node ID a8243262e7b2c32c04cae376b022d7a496af47f0 # Parent ce1cd2450848e4460ca566ecff1050717f53f7b0 show biographies menu only for admins. diff -r ce1cd2450848 -r a8243262e7b2 src/main/webapp/templates/main_template.xhtml --- a/src/main/webapp/templates/main_template.xhtml Mon Oct 05 12:56:15 2015 +0000 +++ b/src/main/webapp/templates/main_template.xhtml Tue Oct 06 13:56:24 2015 +0000 @@ -198,10 +198,8 @@ Codices marked as public -