remove CVS header

Ding dong, CVS is dead!

Comments

Comment #1

joachim commented 27 February 2011 at 21:40

Status:

Active

» Fixed

Fixed on both branches, thanks to the wizardry of git cherrypick!

Log in or register to post comments

Comment #2

13 March 2011 at 21:41

Status:

Fixed

» Closed (fixed)

Automatically closed -- issue fixed for 2 weeks with no activity.

Log in or register to post comments

Comment #3

joachim commented 16 March 2011 at 08:45

Hmm cherrypick apparently didn't work first time :/

Committed to 7 now.

Log in or register to post comments