Skip to content

Use nip.io for having an actual dns name#51

Merged
chrisburr merged 1 commit intoDIRACGrid:masterfrom chaen:use_nipOct 11, 2023
+4-1

Commits

Commits on Oct 11, 2023