diff options
| author | ArthurHoaro <arthur@hoa.ro> | 2019-02-09 11:07:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-09 11:07:58 +0100 |
| commit | 7417e8ac4a4cf742ace1679c046425bb3f2bac2c (patch) | |
| tree | 9500621944aec8dc79e0e4fb82ef1217e151fbb7 /doc/custom_theme | |
| parent | 7c130540389f211a392144dd0e7795239843e6ed (diff) | |
| parent | 9f0c719c53808ea1cec9fe07872fe625672fc27f (diff) | |
| download | Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.tar.gz Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.tar.zst Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.zip | |
Merge pull request #1229 from ArthurHoaro/travis/php-7.3
Run Shaarli's tests against PHP 7.3 RC1 on Travis
Diffstat (limited to 'doc/custom_theme')
0 files changed, 0 insertions, 0 deletions