mirror of
https://github.com/redis/RedisDesktopManager.git
synced 2026-10-21 06:35:48 +08:00
redis-desktop-manager for Debian -------------------------------- <this file describes information about the source package, see Debian policy manual section 4.14. You WILL either need to modify or delete this file>