Skip to content

use sh.git instead of git module#340

Merged
chaen merged 1 commit intoDIRACGrid:mainfrom chaen:git_shDec 5, 2024