diff options
author | Peter Kokot <peterkokot@gmail.com> | 2019-03-27 23:36:59 +0100 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2019-03-28 17:42:11 +0100 |
commit | 5e16f5b8d8c93a124c9b41e17b923195510704c7 (patch) | |
tree | ed2ddd18d71eb528e58d8b4f0ccb58a1ef122cb7 /.gitignore | |
parent | d9fbbbc868e7dda70e3a442f4c300ba46ddf449c (diff) | |
download | php-git-5e16f5b8d8c93a124c9b41e17b923195510704c7.tar.gz |
Remove php7.spec.in file
RPM specification file was introduced via
7c2f1384d45876bbdef255c4a57301e6406f6964 for PHP to include official
RPM packages long time agon. With removal of the makerpm script via
3d51d4c90c77a30a7b88aae7184dcce4b6e26b07 and Linux repositories to
manage such updated and customized info in their repositories this file
is most likely not needed anymore.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 002fdcad79..ca7179b7b0 100644 --- a/.gitignore +++ b/.gitignore @@ -81,9 +81,6 @@ Makefile Makefile.fragments Makefile.objects -# RPM specification file generated by `./configure` -/php7.spec - # Directories for shared object files and headers generated by `./configure` include/ libs/ |