Searched hist:"71 eea990dce9fb9ddc99a01d42f03222da568ff1" (Results 1 – 1 of 1) sorted by relevance
| /dokuwiki/lib/plugins/extension/ | ||
| H A D | cli.php | 71eea990dce9fb9ddc99a01d42f03222da568ff1 Wed Aug 14 11:49:56 UTC 2024 Andreas Gohr <andi@splitbrain.org> Extension Manager: by default skip all git controlled extensions |