diff options
| author | Riccardo Berto | 2019-10-06 13:26:45 +0200 |
|---|---|---|
| committer | Riccardo Berto | 2019-10-06 13:26:45 +0200 |
| commit | 5b4690a351b2634a38ab46569872a4c56e7f8c64 (patch) | |
| tree | c0f249a4c64c9bc68021e68729ef712adeff0e7b /redis-graph-git.install | |
| parent | 5bdab12481d1a865b92971b8feb9f74d7d991ba7 (diff) | |
| download | aur-5b4690a351b2634a38ab46569872a4c56e7f8c64.tar.gz | |
upgpkg: redis-graph-git r412.4424ae7c-1
Diffstat (limited to 'redis-graph-git.install')
| -rw-r--r-- | redis-graph-git.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/redis-graph-git.install b/redis-graph-git.install index 88d52286ccdf..194022469c53 100644 --- a/redis-graph-git.install +++ b/redis-graph-git.install @@ -1,7 +1,7 @@ post_install() { - printf "\nDon't forget to update your redis config file and restart Redis.\n\n" + printf "\nDon't forget to update your redis config file and restart Redis.\n\n" } post_remove() { - post_install + post_install } |