????
File manager - /usr/share/man/de/man3/
     
Filename Size Date Rights Manage
     . 2019-12-08 10:45:45
     .. 2019-12-08 10:45:45
     intro.3.gz 2494 2017-03-13 16:00:31 -rw-r--r-- Delete Rename   Download
      | ver. 1.4 | Github | . | PHP 7.0.33-0+deb9u7 | Generation time: 0.01 | proxy | phpinfo | xls | Settings