-
Committer:
Pino Toscano
-
Date:
2019-06-01 12:10:45 UTC
-
Revision ID:
git-v1:ef4b8c995160c5de9bdffa4d862b5fe65b236ad8
Drop the session widget
Originally introduced in 1999 (!), it seems it is no longer needed:
- there is no session handling done
- there is already the AmorWidget as main widget of the application