--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/openenvutils/commandshell/shell/inc/input.pro	Tue Feb 02 10:12:00 2010 +0200
@@ -0,0 +1,4 @@
+/* Generated automatically */
+static int inputline _((void));
+static void inputsetline _((char*str,int flags));
+static void inpoptop _((void));