/usr/lib/gnome-do/plugins/WindowManager.dll.config is in gnome-do-plugins 0.8.4-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <configuration>
<dllmap dll="libgdk-x11" target="libgdk-x11-2.0.so"/>
<dllmap dll="X11" target="libX11.so.6"/>
</configuration>
|