Thomas Penteker 37c9292664 redis: remove port from PID filename

2016-08-07 03:20:38 +02:00

..

.footprint

redis: 2.8.9 -> 3.2.0

2016-05-10 00:59:14 +02:00

.md5sum

redis: update .md5sum

2016-08-07 00:44:02 +02:00

Pkgfile

redis: 3.2.0 -> 3.2.3

2016-08-05 18:03:40 +02:00

redis.conf

redis: remove port from PID filename

2016-08-07 03:20:38 +02:00

redis.rc

…