diff options
author | Ulrich Müller <ulm@gentoo.org> | 2017-02-28 21:39:46 +0100 |
---|---|---|
committer | Ulrich Müller <ulm@gentoo.org> | 2017-02-28 21:43:13 +0100 |
commit | 22fd7b2d4764535bd3afc37728df1015b0294467 (patch) | |
tree | 308db1ade2168db9280b6c460c478e9183a8372f /dev-php/ming-php | |
parent | dev-lang/spidermonkey:{38,45} drop more static libs (diff) | |
download | gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.tar.gz gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.tar.bz2 gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.zip |
Drop remaining $Id$ and $Header$ from files.
Bug: 611234
Diffstat (limited to 'dev-php/ming-php')
-rw-r--r-- | dev-php/ming-php/files/php_ext-config.m4 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-php/ming-php/files/php_ext-config.m4 b/dev-php/ming-php/files/php_ext-config.m4 index 794d2cc067f7..9f4cd19790b0 100644 --- a/dev-php/ming-php/files/php_ext-config.m4 +++ b/dev-php/ming-php/files/php_ext-config.m4 @@ -1,7 +1,3 @@ -dnl -dnl $Id$ -dnl - PHP_LIBDIR=lib PHP_ARG_WITH(ming, for MING support, |