make 05_PrintStream_File.dpatch more compact
[debian/jabref.git] / src / osx /
drwxr-xr-x   ..
drwxr-xr-x - osxadapter