Added an option for user credentials on user menu
authorChristos Stathis <chstath@ebs.gr>
Thu, 6 Oct 2011 16:05:17 +0000 (19:05 +0300)
committerChristos Stathis <chstath@ebs.gr>
Thu, 6 Oct 2011 16:05:17 +0000 (19:05 +0300)
commit1201686bb4bd5ac0ff4b7bd38064ac0976ed3c9c
treed12878281488f9dfc5eae9b76d21706bd5f76cf1
parentf7353d58830c5f29430a277a48ea9357ad0b6813
Added an option for user credentials on user menu
src/gr/grnet/pithos/web/client/CredentialsDialog.java [new file with mode: 0644]
src/gr/grnet/pithos/web/client/TopPanel.java
src/gr/grnet/pithos/web/public/gss.css