This repository has been archived on 2025-05-09. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Nils-Börge Margotti 85290ee3cd Update php to version 7.2 in vagrant file (#978)		2018-02-25 10:56:47 -06:00
..
vagrant	Update php to version 7.2 in vagrant file (#978)	2018-02-25 10:56:47 -06:00