pedro 1fb9aa3b6a Add and load the workspace nesting code by default. Leave the status bar ... untouched, since there are quite a few people using it.		2005-09-29 22:19:39 +00:00
..
files	Add and load the workspace nesting code by default. Leave the status bar	2005-09-29 22:19:39 +00:00
patches	Add and load the workspace nesting code by default. Leave the status bar	2005-09-29 22:19:39 +00:00
pkg	Add and load the workspace nesting code by default. Leave the status bar	2005-09-29 22:19:39 +00:00
distinfo	ion-3ds-20050820, okay sturm@, hi marco@!	2005-09-07 19:53:41 +00:00
Makefile	Add and load the workspace nesting code by default. Leave the status bar	2005-09-29 22:19:39 +00:00