pandora's disk is almost full

[Wichert Akkerman <wichert@soil.nl>]

I noticed pandora ran out of diskspace today; I did a small
cleanup and found that a couple of people have lots of
stuff in their homedirectory. A couple of people have >100Mb
even..

So a simple request: can everyone please check their homedirectory
on pandora and remove unneeded files?

Wichert.

-- 
  _________________________________________________________________
 / Generally uninteresting signature - ignore at your convenience  \
| wichert@liacs.nl                    http://www.liacs.nl/~wichert/ |
| 1024D/2FA3BC2D 576E 100B 518D 2F16 36B0  2805 3CB8 9250 2FA3 BC2D |