menu « debian - mcu8051ide - Debian dgit repo for package mcu8051ide

summary refs log tree commit diff

path: root/debian/menu

blob: 20b71fc2eec1c66b35d17f622d98c33ff23bb5a9 (plain)

1
2

?package(mcu8051ide):needs="X11" section="Applications/Programming"\
  title="mcu8051ide" command="/usr/bin/mcu8051ide"