InputOutputPointer is the right interface.
[core.git] / docs /
drwxr-xr-x   ..
-rw-r--r-- 116 COPYING
-rw-r--r-- 20403 COPYING.documents
-rw-r--r-- 35147 COPYING.software
-rw-r--r-- 133 NEWS
-rw-r--r-- 52 README
-rw-r--r-- 203 THANKS
-rw-r--r-- 11946 TODOs.txt