3 Commits

Author	SHA1	Message	Date
Marco Pesenti Gritti	231ea23981	Fix includes	2007-04-16 18:07:52 +02:00
Marco Pesenti Gritti	f78b23cf82	Fix messed up paths	2007-04-15 12:16:06 +02:00
Marco Pesenti Gritti	2d08ff0163	Move private extensions out of the lib, inside the shell.	2007-04-07 00:08:54 +02:00