diff options
author | Remi Collet <remi@remirepo.net> | 2022-03-04 15:28:13 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2022-03-04 15:28:13 +0100 |
commit | 483ae4263131401b67c3cdb99208bb7a1bfc5c63 (patch) | |
tree | f0ae357dabdbab9996747977ad80ad07f34bbe47 /cleanoldrpm | |
parent | f542e6f3cd07639e429e9ea02c7734195be84254 (diff) |
cleanup
Diffstat (limited to 'cleanoldrpm')
-rwxr-xr-x | cleanoldrpm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cleanoldrpm b/cleanoldrpm index 95db69e..6639b2b 100755 --- a/cleanoldrpm +++ b/cleanoldrpm @@ -17,6 +17,7 @@ $multi = [ 'redis' => 3, // redis/6.2 'composer' => 1, // composer/2 'phan' => 1, // phan/3 + 'remi-release' => 3, // remi-release/8.5 ]; if (isset($_SERVER['argv'][1])) { $keep = (int)$_SERVER['argv'][1]; |