Steven Armstrong
|
cda7664e13
|
removed obsolete explorer
Signed-off-by: Steven Armstrong <steven.armstrong@inf.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
b683b8ca70
|
more plural -> singular cleanups
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
238b5119eb
|
begin to migrate from plural to singular, CONSISTENTLY
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
4b5d7dda25
|
mega cleaunp discussion commit :-)
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
d171ad5e64
|
restructure explorer
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
3d556d0448
|
cleanup explorer naming
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
|
Nico Schottelius
|
de28cf82e6
|
begin to cleanup obsoleted conf/lib directory
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
|
14 years ago |
