diff options
| author | Andrey Andreev <narf@devilix.net> | 2014-04-06 17:02:23 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2014-04-06 17:02:23 +0200 |
| commit | b8bec1bf7407ebaee1c2b8bc1bddebe340e0346d (patch) | |
| tree | df5c8a3ed9607485bedada0311e34c711a741f6a /user_guide_src/source/conf.py | |
| parent | 8e814ee16f2569619627d2c3e22433d7391f011c (diff) | |
| parent | 629d37532acaf3d6e57d25545e16ecc24459c59c (diff) | |
Merge pull request #2993 from vlakoff/is_php
Remove default parameter of is_php()
Diffstat (limited to 'user_guide_src/source/conf.py')
0 files changed, 0 insertions, 0 deletions