Michael Stapelberg 2759a308a2 Merge pull request #1608 from mh21/renaming-empty-ws-startup
Update old_name when renaming current workspace
2015-03-30 22:01:18 +02:00
..
2014-06-19 11:20:32 +02:00
2015-03-07 14:52:32 +01:00
2015-03-25 21:32:46 +03:00
2015-03-28 18:29:34 +01:00
2014-06-15 19:07:02 +02:00
2015-02-11 00:07:28 +01:00
2014-06-19 11:20:32 +02:00
2015-03-01 17:16:03 +01:00
2015-03-29 17:12:20 +02:00
2015-03-29 17:18:00 -04:00
2014-06-19 12:28:54 +02:00
2014-06-15 19:07:02 +02:00
2015-03-11 21:41:43 -07:00
2014-06-19 11:20:32 +02:00
2015-03-04 09:22:25 +01:00
2014-06-19 11:20:32 +02:00
2015-03-01 17:16:03 +01:00
2014-06-15 19:07:02 +02:00
2014-06-19 11:20:32 +02:00
x.c
2015-03-01 17:16:03 +01:00
2015-03-01 17:16:03 +01:00
2015-03-01 17:16:03 +01:00
2014-06-19 11:20:32 +02:00