????
File manager - /usr/share/php7.0-readline/readline/
     
Filename Size Date Rights Manage
     . 2020-03-14 00:18:14
     .. 2020-01-08 00:47:01
     readline.ini 76 2020-02-16 15:11:40 -rw-r--r-- Delete Rename   Download   Compress .tar.gz
      | ver. 1.4 | Github | . | PHP 7.0.33-0+deb9u7 | Generation time: 0.02 | proxy | phpinfo | xls | Settings