Empty Directories.

Please erase these empty directories.
- /pub/os2/dev/database
- /pub/os2/dev/python
- /pub/os2/dev/util
- /pub/os2/dev/emx/contrib


Martin Iturbide