Thu, 28 Aug 2008 20:19:45 +0200 | wenzelm | fold_lines: simplified, more efficient due to String.fields; | changeset | files |
Thu, 28 Aug 2008 19:34:51 +0200 | wenzelm | rm fifo after open; | changeset | files |
Thu, 28 Aug 2008 19:31:55 +0200 | wenzelm | dummy setup for completion; | changeset | files |