Server geändert

This commit is contained in:
aschwarz
2023-04-25 13:12:50 +02:00
parent 5e9c9cf19d
commit 57b74ca3a5
647 changed files with 3051 additions and 3051 deletions

View File

@ -5,7 +5,7 @@
;; command-line switch -c, as in phpdoc -c default.ini or phpdoc -c myini.ini. The web
;; interface will automatically generate a list of .ini files that can be used.
;;
;; default.ini is used to generate the online manual at http://www.phpdoc.org/docs
;; default.ini is used to generate the online manual at https://www.phpdoc.org/docs
;;
;; ALL .ini files must be in the user subdirectory of phpDocumentor with an extension of .ini
;;