tonio c3533bae33 Merge

2012-01-11 10:38:32 +01:00

..

fdmenu.js

Simple hack to catch redirections after an ajax request. It is not a clean and perfect solution but it should address most cases.

2012-01-10 10:40:22 +01:00

webmail.js

Merge

2012-01-11 10:38:32 +01:00