mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
3 lines
194 B
Text
3 lines
194 B
Text
# 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"
|