diff options
| author | jvoisin | 2018-05-16 11:58:53 +0200 |
|---|---|---|
| committer | jvoisin | 2018-05-16 11:58:53 +0200 |
| commit | 9eebe8c67e03e3041d454ea28e93996f7a67740b (patch) | |
| tree | 53f3955d101c7a425c6e35edaacd55db0aee6a04 /src/snuffleupagus.c | |
| parent | 926dbb67ad29fe452987242bc6fc466d3c28fced (diff) | |
Don't run some tests on `-dev` php versions
Diffstat (limited to 'src/snuffleupagus.c')
0 files changed, 0 insertions, 0 deletions