File library.proberty was missing

[gmbo]

File library.proberty was missing, therefore inserted so that also Arduino-IDE finds it.

name=ESP32FtpServer
version=1.1.1
author=robo8080 & HenrikSte
maintainer=HenrikSte
sentence=Encoder library for the ESP32 using interrupts. 
paragraph=Encoder library for the ESP32 using interrupts. This library supports quadrature and half quadrature.
category=Device Control
url=https://github.com/HenrikSte/ESP32FTPServer
architectures=esp32, esp8266
includes=ESP32FtpServer.h

Vielen Dank
Gisbert