debian/README.Debian
author laurent
Thu, 12 Jan 2012 17:04:22 +0100
changeset 624 efedc9d06a59
parent 456 dc379f8db18d
permissions -rw-r--r--
Fix bug in refreshing menu after tab selection changed
plcopeneditor for Debian
------------------------