Michael Stapelberg 373b4ad74a Implement 'rename workspace <old_name> to <new_name>'		2012-04-08 20:40:00 +02:00
..
commands.spec	Implement 'rename workspace <old_name> to <new_name>'	2012-04-08 20:40:00 +02:00
highlighting.vim	…