diff options
| author | Brian Evans <grknight@gentoo.org> | 2018-10-09 10:56:05 -0400 |
|---|---|---|
| committer | Brian Evans <grknight@gentoo.org> | 2018-10-09 10:56:05 -0400 |
| commit | 3685815fb99923f35a19a4a9f8af438e457df678 (patch) | |
| tree | 22648d047c575a2dbc330d79efa2962599560e64 /dev-embedded/arduino-builder/files/arduino-builder-1.4.1-platform-paths.patch | |
| parent | bb4969436bd238aa724f2294735b467f5b8cac8e (diff) | |
| download | gentoo-3685815fb99923f35a19a4a9f8af438e457df678.tar.gz gentoo-3685815fb99923f35a19a4a9f8af438e457df678.tar.bz2 gentoo-3685815fb99923f35a19a4a9f8af438e457df678.zip | |
profiles: base/make.defaults - Change PHP_TARGETS default
php 7.0 will be soon deprecated. Move default target to 7.1
with 5.6 legacy until that is masked
Signed-off-by: Brian Evans <grknight@gentoo.org>
Diffstat (limited to 'dev-embedded/arduino-builder/files/arduino-builder-1.4.1-platform-paths.patch')
0 files changed, 0 insertions, 0 deletions