1
0
mirror of https://github.com/dg/dibi.git synced 2025-08-12 00:54:11 +02:00

travis: use stages

This commit is contained in:
David Grudl
2017-07-24 13:54:13 +02:00
parent afe728d07a
commit ba927b4782
2 changed files with 42 additions and 43 deletions

View File

@@ -1,2 +0,0 @@
[PHP]
;extension_dir = "./ext"