Files
WebDB/.idea/php.xml
Marijn Jansen 423c2fd771 Revert "Merge branch 'marijn-settings' into 'master'"
This reverts merge request !128
2017-01-26 12:16:28 +01:00

4 lines
149 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="PhpProjectSharedConfiguration" php_language_level="7.1" />
</project>