Closed GoogleCodeExporter closed 9 years ago
add a version number to the info box of the editor.
Original issue reported on code.google.com by NicoPete...@gmail.com on 3 Nov 2008 at 7:59
NicoPete...@gmail.com
Original comment by NicoPete...@gmail.com on 4 Nov 2008 at 4:26
Original comment by NicoPete...@gmail.com on 17 Nov 2008 at 4:55
Original issue reported on code.google.com by
NicoPete...@gmail.com
on 3 Nov 2008 at 7:59