File manager - /usr/share/man/fr/man7/
     
Filename Size Date Rights Manage
     . 2023-09-01 07:24:07
     .. 2023-09-01 07:24:07
     deb-version.7.gz 3326 2023-04-01 13:43:42 -rw-r--r-- Delete Rename   Download
      | ver. 1.4 | Github | . | PHP 8.2.9 | Generation time: 0.03 | proxy | phpinfo | xls | Settings