Erik Faye-Lund 6ff7583935 editor: remove dead code
In 0e0b99e5, I accidentally committed some dead code. Remove it.
2010-06-18 20:08:24 +02:00
..
2010-06-18 20:08:24 +02:00
2010-03-19 17:41:34 +01:00
2010-03-24 19:01:00 +01:00
2010-03-24 21:41:35 +01:00
2010-03-24 21:41:35 +01:00