diff options
Diffstat (limited to 'debian/menu')
| -rw-r--r-- | debian/menu | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/menu b/debian/menu new file mode 100644 index 0000000..d787c08 --- /dev/null +++ b/debian/menu @@ -0,0 +1,5 @@ +?package(universalindentgui): \ + needs="X11" \ + section="Applications/Programming" \ + title="UniversalIndentgui" \ + command="/usr/bin/universalindentgui" |