redundanten Plugin-Eintrag ("Developer") entfernen

redaxo / docs

Die REDAXO Dokumentation

https://redaxo.org/doku/

Other

58 stars 44 forks source link

Closed pflakus closed 1 year ago

pflakus commented 1 year ago

Der Eintrag zum Developer-Plugin kommt zwei Mal, in leicht abgewandelter Form vor. Dieser Commit entfernt einen davon.