directory /oldclasslib/source/ @ 24:a4899cdfc2d6 default tip

name size permissions
[up] drwxr-xr-x
file DEFS.mk 120 -rw-r--r--
file charsink.cpp 4740 -rw-r--r--
file strdict.cpp 5023 -rw-r--r--