diff options
| author | Sergei Golubchik <sergii@pisem.net> | 2012-10-20 18:35:22 +0200 |
|---|---|---|
| committer | Sergei Golubchik <sergii@pisem.net> | 2012-10-20 18:35:22 +0200 |
| commit | cd1de362ed0115257aec2be12fd645cbc71e701c (patch) | |
| tree | 9e2887e5b2743623d64f9c6c0602aec146830e3d /debian/mariadb-client-10.0.menu | |
| parent | 7a1b9ef60743a3ac8cab1a091ea1e4cf58e7f2b8 (diff) | |
| download | mariadb-git-cd1de362ed0115257aec2be12fd645cbc71e701c.tar.gz | |
first go at fixing debian builds
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" |