diff options
Diffstat (limited to 'debian/mariadb-client-10.0.menu')
| -rw-r--r-- | debian/mariadb-client-10.0.menu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/mariadb-client-10.0.menu b/debian/mariadb-client-10.0.menu new file mode 100644 index 00000000000..1378555c423 --- /dev/null +++ b/debian/mariadb-client-10.0.menu @@ -0,0 +1,3 @@ +# According to /usr/share/menu/ policy 1.4, not /usr/share/doc/debian-policy/ +?package(innotop):needs="text" section="Applications/Data Management"\ + title="innotop" command="/usr/bin/innotop" |