| commit | bb697dc20dce93f81522a492ecaae667a4435fff | [log] [tgz] |
|---|---|---|
| author | wpiers <william.piers@obeo.fr> | Wed Sep 07 14:36:12 2011 +0200 |
| committer | wpiers <william.piers@obeo.fr> | Wed Sep 07 14:36:12 2011 +0200 |
| tree | f7e7537542a616d1abc333bac1fd7601af4edb14 | |
| parent | 1fcec58ef62ba24ce86ac2174da8fa7f1b59669c [diff] |
improved workspace utils