Subject: /usr/local/devel

From: Sunita Sarawagi <[email-masked]>
Date: Mon, 29 Nov 1993 09:27:15 -0800

Hi Jon,
	Looks like /usr/local/devel is full. 

Filesystem               Total    kbytes   kbytes   %     
node                     kbytes   used     free     used  Mounted on
toe:/usr/local/devel      655670  590107       0   100%   /usr/local/devel.

Here's what happens when I try to ci stuff.

ci error: output error: No space left on device
ci aborted
checkin failed.

Sunita.

---

From: Jon Forrest <[email-masked]>
Date: Mon, 29 Nov 1993 10:04:01 -0800

> 	Looks like /usr/local/devel is full. 

It sure is. I think that you developers should have a wack
at cleaning it up since there's not much I can do about this.
(I see several candidates for deletion).

Jon