Track the SSH public key used for a session and add a `keys which` command

James Moger

2014-03-27 8d96b960e472433d2b4a5b71df7000bf1fbde648

 src/site/upgrade_express.mkd

@@ -16,3 +16,8 @@
- Added SparkleShareInviteServlet

- Added EnforceAuthenticationFilter

- Moved GitServlet



### 1.4.0 web.xml



- Changed baseFolder from a context-parameter to a JNDI env-entry

- Added pt servlet