Merge from vendor branch TEXINFO:
[games.git] / lib / compat /
drwxr-xr-x   ..
drwxr-xr-x - i386