diff options
| author | 2019-07-21 12:49:29 +0200 | |
|---|---|---|
| committer | 2019-07-21 12:49:29 +0200 | |
| commit | 0a297addc060692f163c2614aa9989f5840f494a (patch) | |
| tree | 30d0b543cfaf0b9f6897a8db049b59d82e0030f6 /cli/do-install.php | |
| parent | 9623665913ab997e023edf13df9cf97b13fdae30 (diff) | |
Add php-gmp for API in Ubuntu 32-bit (#2450)
And adjust slightly the HEALTHCHECK parameters for faster start in
Træfik
Diffstat (limited to 'cli/do-install.php')
0 files changed, 0 insertions, 0 deletions
