diff options
Diffstat (limited to 'lang/Makefile')
| -rw-r--r-- | lang/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/Makefile b/lang/Makefile index 6dbeb6e595f5..ce0c9c756d48 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -276,7 +276,6 @@ SUBDIR += php56 SUBDIR += php56-extensions SUBDIR += php70 - SUBDIR += php70-extensions SUBDIR += php71 SUBDIR += php71-extensions SUBDIR += php72 |