diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-11-23 14:21:16 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2012-11-23 14:21:16 -0500 |
| commit | 87cb321c12a92958aee0a309d058a9331a0e24d2 (patch) | |
| tree | 8973339878658d4e7c656ed650932a4c0c61864c /extra/php/php.ini.patch | |
| parent | c5d0267480dce7ea1149cae6f63111678588c772 (diff) | |
Add geda-1.6.2-correct_glib_include.patch
Diffstat (limited to 'extra/php/php.ini.patch')
0 files changed, 0 insertions, 0 deletions