debian/Beremiz_docs.directory
author laurent
Tue, 20 Dec 2011 23:37:06 +0100
changeset 656 c1792dfc8c7e
parent 432 ef7fc6fd1f6f
permissions -rw-r--r--
Fixing bug integrated plugin editors not closed when removing corresponding plugin
[Desktop Entry]
Type=Directory
Name=Doc
Icon=