Skip to content

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

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

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

Commits

Commits on Aug 13, 2024