diff options
| author | Sergei Golubchik <serg@mariadb.org> | 2014-05-25 17:17:50 +0200 |
|---|---|---|
| committer | Sergei Golubchik <serg@mariadb.org> | 2014-05-25 17:17:50 +0200 |
| commit | eef1201bcc0064480bf281e8cafa1b3e14dbaa04 (patch) | |
| tree | 4764cc22b01631a2a30f5c7badb85e80fe4d8961 /debian/mariadb-client-10.1.menu | |
| parent | c2b9d993e33ac5099dfbde775af95e1400f40e87 (diff) | |
| download | mariadb-git-eef1201bcc0064480bf281e8cafa1b3e14dbaa04.tar.gz | |
set version to 10.1.0
Diffstat (limited to 'debian/mariadb-client-10.1.menu')
| -rw-r--r-- | debian/mariadb-client-10.1.menu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/mariadb-client-10.1.menu b/debian/mariadb-client-10.1.menu new file mode 100644 index 00000000000..1378555c423 --- /dev/null +++ b/debian/mariadb-client-10.1.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" |