aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitattributes
diff options
context:
space:
mode:
authorArthurHoaro <arthur@hoa.ro>2017-10-22 13:24:12 +0200
committerArthurHoaro <arthur@hoa.ro>2018-02-02 19:15:10 +0100
commit402f58e0ba3d7a066ce0a5c0693dc57bc89f2b39 (patch)
treeed908cd4c84ca788ded3db5961e19f6bd642b122 /.gitattributes
parent91813a363468404b7bf2937494812f1fa34a12b4 (diff)
downloadShaarli-402f58e0ba3d7a066ce0a5c0693dc57bc89f2b39.tar.gz
Shaarli-402f58e0ba3d7a066ce0a5c0693dc57bc89f2b39.tar.zst
Shaarli-402f58e0ba3d7a066ce0a5c0693dc57bc89f2b39.zip
CI: run UT against PHP 7.2 (currently in Release Candidate)
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions