Skip to content

config: permit --reload-extra-files without --reload#3271

Closed
pajod wants to merge 1 commit intobenoitc:masterfrom
pajod:patch-reload-extra
Closed

config: permit `--reload-extra-files` without `--reload`#3271
pajod wants to merge 1 commit intobenoitc:masterfrom
pajod:patch-reload-extra

Commits

Commits on Aug 13, 2024