cervisia: cervisia (GUI for CVS) cervisia: cervisia: cervisia is a graphical frontend for CVS. cervisia: cervisia: cervisia: cervisia: cervisia: cervisia: cervisia: cervisia: