debian/Beremiz.directory
author Edouard Tisserant
Mon, 26 Sep 2011 00:24:04 +0200
changeset 617 7c23fac40a2a
parent 432 ef7fc6fd1f6f
permissions -rw-r--r--
fixed debug with xenomai, fixed unprotected access to ___debug_tick
432
ef7fc6fd1f6f Add Beremiz shortcuts in menu on linux platform
greg
parents:
diff changeset
     1
[Desktop Entry]
ef7fc6fd1f6f Add Beremiz shortcuts in menu on linux platform
greg
parents:
diff changeset
     2
Type=Directory
ef7fc6fd1f6f Add Beremiz shortcuts in menu on linux platform
greg
parents:
diff changeset
     3
Name=Beremiz
ef7fc6fd1f6f Add Beremiz shortcuts in menu on linux platform
greg
parents:
diff changeset
     4
Icon=/usr/share/beremiz/images/brz.png