2 Commits

Author	SHA1	Message	Date
Marco Pesenti Gritti	00c8a5897b	Keep going even if the disk is full. Patch by cscott. ... Fix #7587	2008-07-25 14:07:48 +02:00
Marco Pesenti Gritti	72c2a1d770	Use a src directory consistently with base and shell.	2008-04-29 14:58:34 +02:00