[Bug 72235] CVS options are not saved

[Michele Alessandrini]

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
      
http://bugs.kde.org/show_bug.cgi?id=72235      
m.alessandrini deit univpm it changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WORKSFORME



------- Additional Comments From m.alessandrini deit univpm it  2004-05-19 21:26 -------
Was not a kdevelop bug, but plugins matter.