mirror of
https://github.com/miguel456/php-http-virtualmin-api
synced 2023-07-28 01:52:31 +00:00
Delete project.properties
This commit is contained in:
parent
2edf7c6709
commit
c968b3ae7b
@ -1,7 +0,0 @@
|
||||
include.path=${php.global.include.path}
|
||||
php.version=PHP_72
|
||||
source.encoding=UTF-8
|
||||
src.dir=.
|
||||
tags.asp=false
|
||||
tags.short=false
|
||||
web.root=.
|
Loading…
Reference in New Issue
Block a user