Remove obsolete numbering in heading
authorMatthias Schmidt <gravatronics@live.com>
Thu, 8 Jul 2021 14:49:17 +0000 (16:49 +0200)
committerMatthias Schmidt <gravatronics@live.com>
Thu, 8 Jul 2021 14:49:17 +0000 (16:49 +0200)
commit41960f70c942a3b355a4fe7d06e64f8b4de844d1
tree6facc444b8a37822607842b9875e28104b7e347c
parent1ae96a8f2828dee10387e2e569dd8705c252448a
Remove obsolete numbering in heading
docs/php/api/package_installation_plugins.md